aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 58dc8c9c6..2560994e4 100644
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,7 @@ quick:
quick-cabal:
cabal v2-build -j8 --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests
- cabal v2-test --hide-successes --ansi-tricks=false $(TESTARGS)
+ cabal v2-test --test-option=--hide-successes --test-option=--ansi-tricks=false $(TESTARGS)
full-cabal:
cabal v2-configure . --ghc-options '$(GHCOPTS)' --flags '+embed_data_files +trypandoc' --enable-tests --enable-benchmarks