Fixing runbench script

diff --git a/src/Scripts/runbench.sh b/src/Scripts/runbench.sh
index ed66315be0e9b6d2c2cb4672369518f51f4b384d..9affb0bd2660f86df2417061d11e8edf797db9e7 100755 (executable)
--- a/src/Scripts/runbench.sh
+++ b/src/Scripts/runbench.sh
@@ -4,6 +4,7 @@
 # ./runbench.sh [nqueens] [timeout] [tuner.conf]
 # ./runbench.sh [sudoku-csolver] [timeout] [tuner.conf]
 # ./runbench.sh [killerSudoku] [timeout] [tuner.conf]
 # ./runbench.sh [nqueens] [timeout] [tuner.conf]
 # ./runbench.sh [sudoku-csolver] [timeout] [tuner.conf]
 # ./runbench.sh [killerSudoku] [timeout] [tuner.conf]

+set -e

 
 if [ "$#" -lt 3 ]; then
         echo "Illegal number of argument"
 
 if [ "$#" -lt 3 ]; then
         echo "Illegal number of argument"


@@ -17,8 +18,8 @@ DUMP=$(find . -name "*.dump")
 cd $BIN
 for d in $DUMP; do
        if [[ $d = *$1* ]]; then
 cd $BIN
 for d in $DUMP; do
        if [[ $d = *$1* ]]; then

-               echo $d
-               ./run.sh tunerrun "."$d $2 "../"$3 out.out
+               echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
+               ./run.sh tunerrun "."$d $2 $3 out.out

                echo "Best tuner"
        fi
 done
                echo "Best tuner"
        fi
 done