diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-01-14 11:13:29 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-01-14 11:14:08 +0100 |
| commit | 5872768853f8c78187a3daaa89f09e674c90fa07 (patch) | |
| tree | bd35144db58f7533a2aebed9d95c6af1a20952a3 /debian | |
| parent | 64007d9eae3bfe88341db8995698aa86a50faa37 (diff) | |
Call dh_install with --fail-missing
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 379cb28f..4ed4e3a3 100755 --- a/debian/rules +++ b/debian/rules @@ -83,7 +83,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 |