[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.3.rc1+dfsg-1-12-ga361346

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit 6260e57c1e3a6bdbb9fc983ecbd7eecff433dcfa
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Oct 18 15:52:05 2010 +0200

    Run test-suite in override_dh_auto_test, skip coqchk

diff --git a/debian/rules b/debian/rules
index fac32b7..ad1c70e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -49,7 +49,7 @@ ifeq ($(BUILDCACHE),)
 # the default one without -silent (-silent maybe cause buildd to
 # timeout because of lack of output)
 
-	$(MAKE) STRIP=true VALIDOPTS="-o -m" COMPLEXITY= check
+	$(MAKE) world STRIP=true
 	$(MAKE) DOC_TARGETS=$(HTMLDOC) $(HTMLDOC)
 else
 	rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ .
@@ -57,7 +57,7 @@ endif
 
 .PHONY: override_dh_auto_test
 override_dh_auto_test:
-# TODO: run make check here instead of in override_dh_auto_build (?)
+	$(MAKE) check COMPLEXITY= BESTCHICKEN=/bin/true
 
 .PHONY: override_dh_auto_install
 override_dh_auto_install:

-- 
coq packaging