The following commit has been merged in the master branch:
commit db0c2d0f86e7fb2153be13431641a2fad0babf90
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Jul 28 11:48:45 2008 +0200
patch-stamp and configure-stamp are dependencies of build-stamp
This is needed for proper parallel build (-j option of
dpkg-buildpackage). However, check target of Coq Makefile doesn't
handle well parallel build yet (will be fixed in next version).
diff --git a/debian/rules b/debian/rules
index 8ae8458..1dc43f9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -28,8 +28,8 @@ configure-stamp:
fi
touch configure-stamp
-build: patch-stamp configure-stamp build-stamp
-build-stamp:
+build: build-stamp
+build-stamp: patch-stamp configure-stamp
dh_testdir
if grep -q BEST=opt config/Makefile; \
then \
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
