1 files changed, 2 insertions, 1 deletions

diff --git a/tools/run_tool.sh b/tools/run_tool.sh
index 495d68c..2462b2d 100755
--- a/tools/run_tool.sh
+++ b/tools/run_tool.sh
@@ -20,4 +20,5 @@ for t in tools/*; do
         break
 done
 
-rm -rf $BIN $CUBEOBJ
+# $BIN is kept so it can be run manually for profiling
+rm -rf $CUBEOBJ