From 11e1b430a81b1367979fed22eeaca95f303b8f9f Mon Sep 17 00:00:00 2001 From: Andrey Konovalov Date: Tue, 29 Nov 2016 19:02:58 +0100 Subject: csourse: emit remove_dir only when needed --- csource/common.go | 2 ++ 1 file changed, 2 insertions(+) (limited to 'csource/common.go') 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() -- cgit mrf-deployment