diff options
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() |