1 files changed, 14 insertions, 0 deletions
diff --git a/tests/hana/run-test.sh b/tests/hana/run-test.sh
new file mode 100755
index 00000000..878c80b3
--- /dev/null
+++ b/tests/hana/run-test.sh
@@ -0,0 +1,14 @@
+#!/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))"
+
+exec ${MAKE:-make} -f ../tools/autotest.mk $seed EXTRA_FLAGS="-l hana_vlib.v -n 300 -e" test_*.v