aboutsummaryrefslogtreecommitdiffstats
path: root/extras/hs-test/test
diff options
context:
space:
mode:
Diffstat (limited to 'extras/hs-test/test')
-rwxr-xr-xextras/hs-test/test4
1 files changed, 4 insertions, 0 deletions
diff --git a/extras/hs-test/test b/extras/hs-test/test
index 9b18e1b7949..58f08bd68bb 100755
--- a/extras/hs-test/test
+++ b/extras/hs-test/test
@@ -59,6 +59,10 @@ case "${i}" in
;;
--parallel=*)
ginkgo_args="$ginkgo_args -procs=${i#*=}"
+ ;;
+ --repeat=*)
+ ginkgo_args="$ginkgo_args --repeat=${i#*=}"
+ ;;
esac
done