diff options
| author | John MacFarlane <[email protected]> | 2023-06-28 15:17:48 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-06-28 15:17:48 -0700 |
| commit | 1d9112f602fd4837b14731aff20df903d37ad754 (patch) | |
| tree | 5c902aa3c9cbff736519934f12aad5095a747be0 /Makefile | |
| parent | 61e3d84b558e35482c0fb30d3b80a6feacae7130 (diff) | |
Makefile: use -j instead of -j4
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -12,7 +12,7 @@ BASELINECMD= else BASELINECMD=--baseline $(BASELINE) endif -GHCOPTS=-fwrite-ide-info -fdiagnostics-color=always -j4 +RTS -A8m -RTS +GHCOPTS=-fwrite-ide-info -fdiagnostics-color=always -j +RTS -A8m -RTS CABALOPTS?=--disable-optimization -f-export-dynamic WEBSITE=../../web/pandoc.org REVISION?=1 @@ -59,7 +59,7 @@ quick-stack: ## unoptimized build and tests with stack --system-ghc --flag 'pandoc:embed_data_files' \ --fast \ --test \ - --test-arguments='-j4 --hide-successes --ansi-tricks=false $(TESTARGS)' + --test-arguments='-j --hide-successes --ansi-tricks=false $(TESTARGS)' .PHONY: quick-stack prerelease: README.md fix_spacing check-cabal check-stack checkdocs man uncommitted_changes ## prerelease checks |