src/Scripts/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 set -e
   8
   9 if [ "$#" -lt 3 ]; then
  10         echo "Illegal number of argument"
  11         echo "./runbench.sh [benchmark] [timeout] [tuner.conf]"
  12         exit 1
  13 fi
  14
  15
  16 BIN=./bin
  17 DUMP=$(find . -name "*.dump")
  18 cd $BIN
  19 for d in $DUMP; do
  20         if [[ $d = *$1* ]]; then
  21                 echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
  22                 ./run.sh tunerrun "."$d $2 $3 out.out
  23                 echo "Best tuner"
  24         fi
  25 done