[Pkg-ocaml-maint-commits] [apron] 01/03: Fail on non-installed files

[Nicolas Braud-Santoni]

This is an automated email from the git hooks/post-receive script.

nicoo-guest pushed a commit to branch master
in repository apron.

commit bf5f3f0c1e8469f9ce3593984af0e2e461409957
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Mon Aug 1 19:56:32 2016 +0200

    Fail on non-installed files
---
 debian/rules | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/debian/rules b/debian/rules
index 27fd65f..a897a67 100755
--- a/debian/rules
+++ b/debian/rules
@@ -48,6 +48,10 @@ override_dh_auto_install:
 	    ln -s $$i.0 debian/tmp/usr/lib/$$i; \
 	done
 
+.PHONY: override_dh_install
+override_dh_install:
+	dh_install --fail-missing -X_debug.so -Xap_ppl_test
+
 .PHONY: override_dh_compress
 override_dh_compress:
 	dh_compress -X.c -X.ml

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/apron.git