tests/hana/run-test.sh

   1 #!/bin/bash
   2
   3 OPTIND=1
   4 seed=""    # default to no seed specified
   5 while getopts "S:" opt
   6 do
   7     case "$opt" in
   8         S) arg="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space
   9            seed="SEED=$arg" ;;
  10     esac
  11 done
  12 shift "$((OPTIND-1))"
  13
  14 exec ${MAKE:-make} -f ../tools/autotest.mk $seed EXTRA_FLAGS="-l hana_vlib.v -n 300 -e" test_*.v