projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Support for pruning unused order elements
[satune.git]
/
src
/
runbench.sh
diff --git
a/src/runbench.sh
b/src/runbench.sh
index 1ffa118b283d6df60aa096868602c3a60e2870c9..ed66315be0e9b6d2c2cb4672369518f51f4b384d 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
tunerrun "."$d $2 "../"
$3 out.out
echo "Best tuner"
fi
done