From 1eb84e069ae4de7a02a720a96809dcc903ace127 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Mon, 29 Oct 2018 17:20:47 -0700 Subject: [PATCH] Bug fix --- src/runbench.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runbench.sh b/src/runbench.sh index 1ffa118..fd093e4 100755 --- 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 -- 2.34.1