1 files changed, 1 insertions, 4 deletions

diff --git a/tools/run_tool.sh b/tools/tool.sh
index 2216a66..64bfd89 100755
--- a/tools/run_tool.sh
+++ b/tools/tool.sh
@@ -15,11 +15,8 @@ for t in tools/*; do
                 continue
         fi
         toolname="$(basename "$t" .c)"
-        $CC -o $BIN "$t"/*.c "$CUBEOBJ" || exit 1;
+        $CC -o $BIN "$t"/*.c "$OBJ" || exit 1;
         $BIN $TOOLARGS \
                 | tee "tools/results/$toolname-$d.txt" "tools/results/last.out"
         break
 done
-
-# $BIN is kept so it can be run manually for profiling
-rm -rf "$CUBEOBJ"