2018-11-30 22:14:43 -06:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
OPTIND=1
|
|
|
|
|
seed="" # default to no seed specified
|
|
|
|
|
while getopts "S:" opt
|
|
|
|
|
do
|
|
|
|
|
case "$opt" in
|
|
|
|
|
S) arg="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space
|
|
|
|
|
seed="SEED=$arg" ;;
|
|
|
|
|
esac
|
|
|
|
|
done
|
|
|
|
|
shift "$((OPTIND-1))"
|
|
|
|
|
|
2019-05-23 18:55:49 -05:00
|
|
|
exec ${MAKE:-make} -f ../tools/autotest.mk $seed EXTRA_FLAGS+="-e" *.v
|
