src/learn.sh

   1 #!/bin/bash
   2 # run as the following:
   3 # ./learn.sh [hexiom]
   4 # ./learn.sh [nqueens]
   5 # ./learn.sh [sudoku-csolver]
   6 # ./learn.sh [killerSudoku]
   7
   8
   9
  10 BIN=./bin
  11 DUMP=$(find . -name "*.dump")
  12 cd $BIN
  13 for d in $DUMP; do
  14         if [[ $d = *$@* ]]; then
  15                 echo $d
  16                 ./run.sh deserializerautotune "."$d
  17         fi
  18 done