Merge branch 'master' into releases

[rocksndiamonds.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 853c415baba744c7f14e357977e28b1d5f9c452e..a67cd14c4be5ef0159e110b809cc2ccfb162c1a9 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -327,13 +327,13 @@ clean: clean-obj clean-ico clean-bin
 # run and test targets
 # -----------------------------------------------------------------------------
 
-run: all
+run:
        cd .. && ./$(PROGBASE) --verbose
 
-gdb: all
+gdb:
        cd .. && gdb -batch -x GDB_COMMANDS ./$(PROGBASE)
 
-valgrind: all
+valgrind:
        cd .. && valgrind -v --leak-check=yes ./$(PROGBASE) 2> valgrind.out