From cc2f6e78c843eadfeed0438213432d0e48caefc3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 28 Sep 2017 13:27:12 +0200
Subject: [PATCH] README: mention -j

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

diff --git a/README.md b/README.md
index 80b0f882..687b39c2 100644
--- a/README.md
+++ b/README.md
@@ -22,7 +22,8 @@ again.
 
 ## Building Instructions
 
-Run `make` to build the full development.
+Run `make -jN` to build the full development, where `N` is the number of your
+CPU cores.
 
 ## Structure
 
-- 
GitLab