[yosys] 09/11: fail the deb build if any files didn't get installed

[Sebastian Kuzminsky]

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

seb_kuzminsky-guest pushed a commit to branch doc-dev-debs-2
in repository yosys.

commit adf90102f0e8dd9a784dab86ae095c3250cd98c6
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Wed Mar 23 11:11:50 2016 -0600

    fail the deb build if any files didn't get installed
---
 debian/rules | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/rules b/debian/rules
index 5b6a6c0..5d307da 100755
--- a/debian/rules
+++ b/debian/rules
@@ -19,6 +19,9 @@ override_dh_auto_clean:
 override_dh_auto_configure:
 	make config-gcc
 
+override_dh_install:
+	dh_install --fail-missing
+
 override_dh_installman:
 	cd debian/man ; CHANGELOG_DATE="$(CHANGELOG_DATE)" ./genmanpages.sh
 	dh_installman

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git