[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit db0c2d0f86e7fb2153be13431641a2fad0babf90
Author: Stephane Glondu <steph at glondu.net>
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