From 6260e57c1e3a6bdbb9fc983ecbd7eecff433dcfa Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 18 Oct 2010 15:52:05 +0200
Subject: Run test-suite in override_dh_auto_test, skip coqchk

---
 debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
index fac32b76..ad1c70ea 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:
-- 
cgit v1.2.3