diff options
author | Stephane Glondu <steph@glondu.net> | 2012-01-14 11:13:29 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-03-27 08:18:51 +0200 |
commit | 4482ea1edb5570f0beca73183c1d32756970c317 (patch) | |
tree | 88afb9c8b6541c4f55298289e99e9857ebf6b12b | |
parent | d06daee9d257c470bba9c29c283b506201db86fa (diff) |
Call dh_install with --fail-missing
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index f35e0de5..3e9a8830 100755 --- a/debian/rules +++ b/debian/rules @@ -82,7 +82,7 @@ override_dh_auto_install: .PHONY: override_dh_install override_dh_install: - dh_install --list-missing + dh_install --fail-missing cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm .PHONY: override_dh_gencontrol |