From 71b82396a276899e0fc28bb26f213a038050fb9a Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 16 Sep 2021 19:19:38 -0700 Subject: Fix quick-cabal target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3