aboutsummaryrefslogtreecommitdiff
path: root/run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'run.sh')
-rwxr-xr-xrun.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/run.sh b/run.sh
index 5aa56d1..2f9f8f1 100755
--- a/run.sh
+++ b/run.sh
@@ -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