summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <gareuselesinge@debian.org>2015-07-20 09:53:58 +0200
committerGravatar Enrico Tassi <gareuselesinge@debian.org>2015-07-20 09:53:58 +0200
commit64fa31c7ee53e79b112507fb2eea27dc7648328d (patch)
tree289b47451e9b85faf5b6f683d8bd89f5702dba9a
parentd57f8a932cc2ca71b9583df4b8e9fb111f80b180 (diff)
enable make test-suite at build timedebian/8.5_beta2+dfsg-2
-rw-r--r--debian/changelog1
-rwxr-xr-xdebian/rules3
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog
index 23fccd06..ea586549 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
coq (8.5~beta2+dfsg-2) experimental; urgency=medium
* Enable native compiler only on amd64 and i386
+ * Enable 'make test-suite' target
-- Enrico Tassi <gareuselesinge@debian.org> Mon, 20 Jul 2015 09:51:21 +0200
diff --git a/debian/rules b/debian/rules
index de43511e..c57e9a08 100755
--- a/debian/rules
+++ b/debian/rules
@@ -79,8 +79,7 @@ endif
.PHONY: override_dh_auto_test
override_dh_auto_test:
- # disabled since beta1 does not pass all tests
- #$(MAKE) test-suite COMPLEXITY=
+ $(MAKE) test-suite COMPLEXITY=
.PHONY: override_dh_auto_install
override_dh_auto_install: