diff options
| author | João Valverde <j@v6e.pt> | 2023-01-21 12:50:24 +0000 |
|---|---|---|
| committer | João Valverde <j@v6e.pt> | 2023-01-21 12:52:50 +0000 |
| commit | 630bb1cceefcffa6a73ec50fbb4a643e5ef5c9ba (patch) | |
| tree | d569be4fd6629fc64cde944d176c86448a171eec /packaging | |
| parent | 133bebb18b93605c38313434d77d6334ba5bbe6f (diff) | |
Debian: Try to fix build
Diffstat (limited to 'packaging')
| -rwxr-xr-x | packaging/debian/rules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/packaging/debian/rules b/packaging/debian/rules index 0b40837102..57bba46835 100755 --- a/packaging/debian/rules +++ b/packaging/debian/rules @@ -55,7 +55,11 @@ override_dh_strip: override_dh_auto_install: dh_auto_install +ifeq ($(MAKE),ninja) + DESTDIR=$(CURDIR)/debian/tmp $(MAKE) -C $(CURDIR)/obj-* install-headers +else $(MAKE) DESTDIR=$(CURDIR)/debian/tmp -C $(CURDIR)/obj-* install-headers +endif rm -f debian/*.shlibs rm -rf $(CURDIR)/debian/tmp/usr/share/wireshark/COPYING mkdir -p $(CURDIR)/debian/tmp/etc/wireshark/ |