diff options
Diffstat (limited to 'extras/hs-test/hs_test.sh')
| -rw-r--r-- | extras/hs-test/hs_test.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/extras/hs-test/hs_test.sh b/extras/hs-test/hs_test.sh index bcada2c73d6..f333b60203d 100644 --- a/extras/hs-test/hs_test.sh +++ b/extras/hs-test/hs_test.sh @@ -14,6 +14,7 @@ ginkgo_args= tc_names=() skip_names=() dryrun= +no_color= for i in "$@" do @@ -96,6 +97,12 @@ case "${i}" in leak_check_set=1 fi ;; + --no_color=*) + no_color="${i#*=}" + if [ "$no_color" = "true" ]; then + ginkgo_args="$ginkgo_args --no-color" + fi + ;; esac done |