From fa70aaf6f0ded7523662eb0fd4ac53a1b23ef27f Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 19 Mar 2020 23:03:13 +0100
Subject: Oh well, I obviously need the directory

---
 run | 1 -
 1 file changed, 1 deletion(-)

(limited to 'run')

diff --git a/run b/run
index 3c2e43e..23ce208 100755
--- a/run
+++ b/run
@@ -156,7 +156,6 @@ make_sync() {
   cmake .. > /dev/null
   mv compile_commands.json ..
   cd ..
-  rm -rf cmake
 }
 
 make_clean() {
-- 
cgit v1.2.3