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 /csource/common.go | |
| 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 'csource/common.go')
| -rw-r--r-- | csource/common.go | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/csource/common.go b/csource/common.go index 186678951..0cedc9920 100644 --- a/csource/common.go +++ b/csource/common.go @@ -519,6 +519,7 @@ static int do_sandbox_namespace() } #endif +#if defined(SYZ_EXECUTOR) || defined(SYZ_REPEAT) static void remove_dir(const char* dir) { DIR* dp; @@ -587,6 +588,7 @@ retry: exitf("rmdir(%s) failed", dir); } } +#endif #if defined(SYZ_EXECUTOR) || defined(SYZ_REPEAT) static uint64_t current_time_ms() |