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 <nico...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to