diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-10-04 00:23:09 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-10-04 02:01:51 +0100 |
commit | 50f256192d9e71034327795650899344705382f9 (patch) | |
tree | 5b7a905f1758e7e4b2a1c70104fb2db9716efc2c /debian/rules | |
parent | 20ddcd3e8193624ab2150b91030c6a7f7fb01956 (diff) |
packaging: Use dh_missing --fail-missing
This will spot if `make install' or similar installs anything that we
forgot to put anywhere.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 614fb7a..6e34d6a 100755 --- a/debian/rules +++ b/debian/rules @@ -41,6 +41,9 @@ override_dh_auto_install: specpkg_install_gdr specpkg_install_infra make -C po install prefix=/usr DESTDIR=../debian/tmp \ SUPPRESS_PO_UPDATE=1 S='' +override_dh_missing: + dh_missing --fail-missing + specpkg_install_gdr: p=git-debrebase specpkg_install_gdr: pm=GDR |