From c0b854e929f82c680530e944e12fad24f9e14f8e Mon Sep 17 00:00:00 2001
From: Eric Lindblad <lindblad@gmx.us>
Date: Tue, 4 Jan 2022 02:13:00 +0000
Subject: [PATCH] add NUMJOBS

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index cc80fca789f8..594f874e9973 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],
-- 
GitLab