[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-25-g14dc709

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7525ef9a5b242fd5246917df663b2967851eafb2
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Feb 1 09:50:42 2009 +0100

    Show full commands when building Coq
    
    More useful in build logs

diff --git a/debian/rules b/debian/rules
index ec73497..16f5167 100755
--- a/debian/rules
+++ b/debian/rules
@@ -8,6 +8,9 @@
 export COQTEST_SKIPCOMPLEXITY = true
 export CAML_LD_LIBRARY_PATH = $(shell pwd)/kernel/byterun
 
+# Show full commands when building Coq
+export VERBOSE=1
+
 # We want to use dpatch
 include /usr/share/dpatch/dpatch.make
 

-- 
coq packaging