summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md4
1 files changed, 3 insertions, 1 deletions
diff --git a/README.md b/README.md
index cc80fca789..594f874e99 100644
--- a/README.md
+++ b/README.md
@@ -68,7 +68,9 @@ and Xelatex (only for PDF output).
(NB: **Do you have multiple cores? Be sure to tell that to `make`!** This can
save you hours of build time depending on your system configuration, and is
almost always a win regardless of how many cores you have. As a simple rule,
-you should have about N+1 jobs, where `N` is the amount of cores you have.)
+you should have about N+1 jobs, where `N` is the amount of cores you have; you
+can also set a shell variable `NUMJOBS=${NUMJOBS:-" -j$(expr $(nproc) + 1) "}`
+and then run `make $NUMJOBS`.)
The `./boot` step is only necessary if this is a tree checked out
from git. For source distributions downloaded from [GHC's web site][1],