From 958247d031cb6666c86cd4f745f1ea52b988ca3f Mon Sep 17 00:00:00 2001 From: Felix Zielcke Date: Wed, 26 Jul 2023 20:52:15 +0200 Subject: [PATCH] Strip grub-emu binary. --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index eb892e1e6..8e1edc6f7 100755 --- a/debian/rules +++ b/debian/rules @@ -544,7 +544,7 @@ override_dh_bugfiles: dh_bugfiles $(patsubst %,-N%,$(filter grub-efi-%-signed-template,$(BUILD_PACKAGES))) -A override_dh_strip: - dh_strip -X/usr/bin/grub-emu -X/usr/lib/grub-xen/grub-x86_64-xen.bin -X/usr/lib/grub-xen/grub-i386-xen_pvh.bin -X/usr/lib/grub-xen/grub-i386-xen.bin + dh_strip -X/usr/lib/grub-xen/grub-x86_64-xen.bin -X/usr/lib/grub-xen/grub-i386-xen_pvh.bin -X/usr/lib/grub-xen/grub-i386-xen.bin override_dh_shlibdeps: dh_shlibdeps -X.module -- 2.39.2