[yosys] 11/15: 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
in repository yosys.

commit 9cf94c02e84fdd8b1922b669a4d6c1998015fb45
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 df50f15..49b487e 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