diff options
| -rwxr-xr-x | run/tests | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -22,7 +22,7 @@ if [ "$1" == "--debug" ]; then gdb --args $work/tests $private $* elif [ "$1" == "--valgrind" ]; then shift - valgrind --tool="memcheck" $work/tests $private + valgrind --tool="memcheck" $work/tests $private $* elif [ "$1" == "--callgrind" ]; then shift valgrind --tool="callgrind" $work/tests $private $* |
