From ca1a3deb8c86dae5627a7841bb5abaa967050955 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 10 Jan 2012 13:03:24 +0000
Subject: Note about make -j for parallel compilation

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 88f1cedf..f33b53f5 100644
--- a/Makefile
+++ b/Makefile
@@ -91,7 +91,8 @@ compile: $(EL)
 ## careful to add proper requires in source files and prevent
 ## evaluating/optimising top-level forms too early.  Using a separate
 ## emacs process for each file is slower but avoids any chance of
-## accidently polluting the compilation environment.
+## accidently polluting the compilation environment, it also should
+## work with make -j n.
 ##
 .el.elc:
 	$(BYTECOMP) $*.el
-- 
cgit v1.2.3