diff options
Diffstat (limited to 'run.sh')
| -rwxr-xr-x | run.sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,12 +1,15 @@ #!/bin/bash build_dir=/home/dennis/projects/cmix/build-cmix-Desktop-Debug +#build_dir=/home/dennis/projects/cmix/build-gcc if [ $# == 0 ] ; then tool="" elif [ $1 == "benchmark" ] ; then tool="valgrind --tool=cachegrind" elif [ $1 == "valgrind" ] ; then - tool="valgrind --leak-check=yes --track-origins=yes" + tool="valgrind --leak-check=yes --track-origins=yes --suppressions=../suppressions" +elif [ $1 == "gensupp" ]; then + tool="valgrind --gen-suppressions=all" elif [ $1 == "gdb" ] ; then tool="gdb -ex run --args" else |