diff options
Diffstat (limited to 'run.sh')
| -rwxr-xr-x | run.sh | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,7 +1,8 @@ #!/bin/bash -build_dir=/home/dennis/projects/cmix/build-cmix-Desktop-Debug -#build_dir=/home/dennis/projects/cmix/build-gcc +#build_dir=/home/dennis/projects/cmix/build-cmix-Desktop-Debug +build_dir=/home/dbrentje/projects/cmix/build + if [ $# == 0 ] ; then tool="" elif [ $1 == "benchmark" ] ; then |
