From 581c27825b108d2a0ab9ee8e068bde947ede8ddd Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 5 Jul 2009 12:53:14 +0200
Subject: Call coqchk without -silent

---
 debian/changelog | 7 +++++++
 debian/rules     | 8 +++++++-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 96924447..b51034f8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq (8.2.pl1+dfsg-2) unstable; urgency=low
+
+  * During validation of stdlib, call coqchk without -silent to avoid
+    timeout on buildds because of lack of output
+
+ -- Stephane Glondu <steph@glondu.net>  Sun, 05 Jul 2009 12:51:15 +0200
+
 coq (8.2.pl1+dfsg-1) unstable; urgency=low
 
   * New Upstream Version
diff --git a/debian/rules b/debian/rules
index 014134a7..0dcf678e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -44,8 +44,14 @@ configure-stamp: ocamlinit-stamp
 build: build-stamp
 build-stamp: configure-stamp
 	dh_testdir
+
 ifeq ($(BUILDCACHE),)
-	$(MAKE) STRIP=true check
+
+# VALIDOPTS are the options given to coqchk; the value given here is
+# the default one without -silent (-silent maybe cause buildd to
+# timeout because of lack of output)
+
+	$(MAKE) STRIP=true VALIDOPTS="-o -m" check
 	$(MAKE) DOC_TARGETS=$(HTMLDOC) $(HTMLDOC)
 else
 	rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ .
-- 
cgit v1.2.3