Bug fix
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 30 Oct 2018 00:20:47 +0000 (17:20 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 30 Oct 2018 00:20:47 +0000 (17:20 -0700)
src/runbench.sh

index 1ffa118..fd093e4 100755 (executable)
@@ -18,7 +18,7 @@ cd $BIN
 for d in $DUMP; do
        if [[ $d = *$1* ]]; then
                echo $d
-               ./run.sh deserializerun "."$d $2 $3 out.out
+               ./run.sh deserializerun "."$d $2 "../"$3 out.out
                echo "Best tuner"
        fi
 done