Oh well, I obviously need the directory

1 files changed, 0 insertions, 1 deletions

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() {