From e9069c282957ed21821ef8104337a2e0207b21aa Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 17 Oct 2019 21:10:40 -0700
Subject: [PATCH] Fixing runbench script

---
 src/Scripts/runbench.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Scripts/runbench.sh b/src/Scripts/runbench.sh
index ed66315..9affb0b 100755
--- 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]
+set -e
 
 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
-		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
-- 
2.34.1