diff options
| author | Jakob Unterwurzacher | 2018-03-05 23:40:08 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-03-05 23:40:08 +0100 |
| commit | 4732e33a9a39935ecc07dfb7e857cc05b6fc6045 (patch) | |
| tree | b8424257a8f23bb994a10dcce45b744a3bebe7b7 /profiling/write-trace.bash | |
| parent | 18d4159d18b370f82dafd1c7627a6eb1f386cdfb (diff) | |
macos: tests: fix deleting of scratch dir
macos rm does not understand --one-file-system,
and it cannot handle unreadable directories.
Diffstat (limited to 'profiling/write-trace.bash')
0 files changed, 0 insertions, 0 deletions