src/runbench.sh

   1 #!/bin/bash
   2 # run as the following:
   3 # ./runbench.sh [hexiom] [timeout] [tuner.conf]
   4 # ./runbench.sh [nqueens] [timeout] [tuner.conf]
   5 # ./runbench.sh [sudoku-csolver] [timeout] [tuner.conf]
   6 # ./runbench.sh [killerSudoku] [timeout] [tuner.conf]
   7
   8 if [ "$#" -lt 3 ]; then
   9         echo "Illegal number of argument"
  10         echo "./runbench.sh [benchmark] [timeout] [tuner.conf]"
  11         exit 1
  12 fi
  13
  14
  15 BIN=./bin
  16 DUMP=$(find . -name "*.dump")
  17 cd $BIN
  18 for d in $DUMP; do
  19         if [[ $d = *$1* ]]; then
  20                 echo $d
  21                 ./run.sh deserializerun "."$d $2 "../"$3 out.out
  22                 echo "Best tuner"
  23         fi
  24 done