From e44fdff7d076a27ca994ca4d129a687c1068bd5e Mon Sep 17 00:00:00 2001
From: courant
Date: Wed, 25 Apr 2001 13:54:42 +0000
Subject: make -j world -> make world en raison de bug ocamlc/ocamlopt

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1718 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/distrib/debian/rules b/distrib/debian/rules
index f17072384b..e8e3aaea6b 100755
--- a/distrib/debian/rules
+++ b/distrib/debian/rules
@@ -21,7 +21,7 @@ build-stamp:
 	dh_testdir
 
 	# Add here commands to compile the package.
-	$(MAKE) -j world
+	$(MAKE) world
 	#/usr/bin/docbook-to-man debian/coq.sgml > coq.1
 
 	touch build-stamp
-- 
cgit v1.2.3