diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 43395a92..2ad9fe75 100755 --- a/debian/rules +++ b/debian/rules @@ -23,7 +23,7 @@ export MLTONARGS := \ -link-opt "$(shell dpkg-buildflags --get LDFLAGS)" %: - dh $@ --parallel --with autoreconf + dh $@ --with autoreconf .PHONY: override_dh_auto_configure override_dh_auto_configure: @@ -43,3 +43,8 @@ override_dh_auto_test-indep: .PHONY: override_dh_auto_install-indep override_dh_auto_install-indep: DESTDIR=${CURDIR}/debian/tmp make install-exec-emacs + +.PHONY: override_dh_auto_install +override_dh_auto_install: + dh_auto_install + find debian/tmp -name \*.la -delete |