From 90106c300a424349f2be5787c82fd17ccf66983f Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 10 Oct 2021 11:24:20 -0700 Subject: Makefile; fix quick-cabal executable path report --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 77d4c81ab..a880da12d 100644 --- a/Makefile +++ b/Makefile @@ -27,7 +27,7 @@ quick: quick-cabal: cabal v2-build -j8 --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests cabal v2-test --disable-optimization --test-options="--hide-successes --ansi-tricks=false $(TESTARGS)" - echo "Path to built executable:" && cabal exec -- sh -c 'command -v pandoc' + echo "Path to built executable:" && cabal exec -- sh -c 'command -v pandoc' | sed -e 's!x/pandoc/build!x/pandoc/noopt/build!' full-cabal: cabal v2-configure . --ghc-options '$(GHCOPTS)' --flags '+embed_data_files +trypandoc' --enable-tests --enable-benchmarks -- cgit v1.2.3