Bug fix

diff --git a/src/runbench.sh b/src/runbench.sh
index 1ffa118b283d6df60aa096868602c3a60e2870c9..fd093e4663b7248fc422d0d241150b6feead35a0 100755 (executable)
--- a/src/runbench.sh
+++ b/src/runbench.sh
@@ -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