[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit a0fb4b0b37c574afb6d6737e8388feeb895593a0
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 15:48:28 2010 +0100

    Add support for build cache

diff --git a/debian/rules b/debian/rules
index fb330ec..2db36ab 100755
--- a/debian/rules
+++ b/debian/rules
@@ -3,6 +3,9 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
+# Build cache (for accelerating Debian debugging)
+BUILDCACHE := $(wildcard ../coq.cache)
+
 %:
 	dh $@
 
@@ -12,6 +15,9 @@ override_dh_auto_configure:
 
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
+ifneq ($(BUILDCACHE),)
+	rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ .
+endif
 	$(MAKE) refman faq tutorial rectutorial
 
 .PHONY: override_dh_auto_test

-- 
coq-doc packaging