[yosys] 05/07: 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 master
in repository yosys.

commit 803d912fc7c3823a42758ceb4401d916f7b1896a
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 bd47823..db42683 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