From 11e1b430a81b1367979fed22eeaca95f303b8f9f Mon Sep 17 00:00:00 2001
From: Andrey Konovalov <andreyknvl@google.com>
Date: Tue, 29 Nov 2016 19:02:58 +0100
Subject: csourse: emit remove_dir only when needed

---
 executor/common.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'executor/common.h')

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()
-- 
cgit mrf-deployment