[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-17-g592d1ae

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 592d1aed634e2e84d067a9d57664581e41c74722
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Wed Feb 25 22:23:39 2009 +0100

    Don't be verbose by default.

diff --git a/debian/rules b/debian/rules
index 85572e6..af7efcf 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,7 +1,7 @@
 #!/usr/bin/make -f
 # -*- makefile -*-
 
-export DH_VERBOSE=1
+#export DH_VERBOSE=1
 
 include /usr/share/dpatch/dpatch.make
 include /usr/share/ocaml/ocamlvars.mk

-- 
alt-ergo packaging