diff options
| author | Andrey Konovalov <andreyknvl@gmail.com> | 2016-11-29 19:07:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-29 19:07:50 +0100 |
| commit | e4bf587846836bbdb0236d052e90af5fce3ab286 (patch) | |
| tree | 17df9221a757e106f4f7414ddf92abb97765751f /executor/common.h | |
| parent | 6d413cab8f4b25e9e0982f7771358da68779a126 (diff) | |
| parent | 11e1b430a81b1367979fed22eeaca95f303b8f9f (diff) | |
Merge pull request #100 from xairy/remove-dir-fix
csourse: emit remove_dir only when needed
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/executor/common.h b/executor/common.h index 3e8f258d4..8df0ee1ae 100644 --- a/executor/common.h +++ b/executor/common.h @@ -538,6 +538,7 @@ static int do_sandbox_namespace() } #endif +#if defined(SYZ_EXECUTOR) || defined(SYZ_REPEAT) // One does not simply remove a directory. // There can be mounts, so we need to try to umount. // Moreover, a mount can be mounted several times, so we need to try to umount in a loop. @@ -614,6 +615,7 @@ retry: exitf("rmdir(%s) failed", dir); } } +#endif #if defined(SYZ_EXECUTOR) || defined(SYZ_REPEAT) static uint64_t current_time_ms() |