projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'incremental' of ssh://plrg.ics.uci.edu/home/git/constraint_compiler...
[satune.git]
/
src
/
Scripts
/
runbench.sh
diff --git
a/src/Scripts/runbench.sh
b/src/Scripts/runbench.sh
index 3e498d2645a0c3b4cb60473356f0fdc65e72f688..db570dfd039b99f92047766ad23ca19b052e19ea 100755
(executable)
--- a/
src/Scripts/runbench.sh
+++ b/
src/Scripts/runbench.sh
@@
-16,7
+16,7
@@
BIN=./bin
DUMP=$(find . -name "*.dump")
cd $BIN
for d in $DUMP; do
- if [[ $d = *$1* ]]; then
+ if [[ $d = *$1* ]]
&& [[ $d = *learningset* ]]
; then
echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
./run.sh tunerrun "."$d $2 $3 out.out
RETCODE=$?