From 0fdea7fbd7fc275c760cfdc7c46d8c5f366476fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Tue, 3 Aug 2010 22:39:01 +0200
Subject: [PATCH] Use -j 0 in heptc wrapper.

---
 heptc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/heptc b/heptc
index 09ced57..671d0c3 100755
--- a/heptc
+++ b/heptc
@@ -12,7 +12,7 @@ cd $SCRIPT_DIR
 if [ ! -x $HEPTC ] #compile the compiler
 then
 	cd $COMPILER_DIR
-	ocamlbuild $COMPILER
+	ocamlbuild -j 0 $COMPILER
 	cd -
 fi