Makefile - disable parallel build on 'make quick'.
Interleaved error messages too confusing.
commit54cc8e2702b342c09de624240b835efc53666bb7
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 11 Aug 2017, 07:58 (9 years ago)
parent83d856e
Makefile+1−1
@@ -6,7 +6,7 @@ RESOLVER=nightly-2017-08-09
66GHCOPTS=-fdiagnostics-color=always -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances
77
88quick:
9− stack install --resolver=$(RESOLVER) --ghc-options='-j4 $(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --test-arguments='-j4 --hide-successes $(TESTARGS)'
9+ stack install --resolver=$(RESOLVER) --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --test-arguments='-j4 --hide-successes $(TESTARGS)'
1010
1111full:
1212 stack install --resolver=$(RESOLVER) --flag 'pandoc:embed_data_files' --flag 'pandoc:weigh-pandoc' --flag 'pandoc:trypandoc' --bench --no-run-benchmarks --test --test-arguments='-j4 --hide-successes' --ghc-options '-Wall -Werror -fno-warn-unused-do-bind -O0 -j4 $(GHCOPTS)'