aboutsummaryrefslogtreecommitdiff
path: root/profiling/write-trace.bash
diff options
context:
space:
mode:
authorJakob Unterwurzacher2018-03-06 21:45:49 +0100
committerJakob Unterwurzacher2018-03-06 21:45:49 +0100
commitc458d99aa9ffee9987468c182fbcc407bbbc7a3d (patch)
treed0862f9e8c52fe32ba268788f7e2c21d60945e63 /profiling/write-trace.bash
parent50bf282d2ac7f832490ce9efab039c35c9ad63f8 (diff)
tests: exit with error if we have leftover filesystems
Diffstat (limited to 'profiling/write-trace.bash')
0 files changed, 0 insertions, 0 deletions