diff options
| author | Jakob Unterwurzacher | 2018-03-06 21:45:49 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-03-06 21:45:49 +0100 |
| commit | c458d99aa9ffee9987468c182fbcc407bbbc7a3d (patch) | |
| tree | d0862f9e8c52fe32ba268788f7e2c21d60945e63 /profiling/write-trace.bash | |
| parent | 50bf282d2ac7f832490ce9efab039c35c9ad63f8 (diff) | |
tests: exit with error if we have leftover filesystems
Diffstat (limited to 'profiling/write-trace.bash')
0 files changed, 0 insertions, 0 deletions