diff options
| -rwxr-xr-x | run.sh | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,8 +1,9 @@ #!/bin/bash build_dir=/home/dennis/projects/cmix/build-cmix-Desktop-Default - -if [ $1 == "benchmark" ] ; then +if [ $# == 0 ] ; then + tool="" +elif [ $1 == "benchmark" ] ; then tool="valgrind --tool=cachegrind" elif [ $1 == "valgrind" ] ; then tool="valgrind --leak-check=yes --track-origins=yes" |
