wok diff grub2-efi-x64/receipt @ rev 21894

updated scrub (2.4 -> 2.6.1)
author Hans-G?nter Theisgen
date Thu Oct 03 14:15:41 2019 +0100 (2019-10-03)
parents 9b196667495f
children 996067d113c6
line diff
     1.1 --- a/grub2-efi-x64/receipt	Sat Aug 17 18:44:53 2019 +0200
     1.2 +++ b/grub2-efi-x64/receipt	Thu Oct 03 14:15:41 2019 +0100
     1.3 @@ -44,7 +44,8 @@
     1.4  		--prefix=/usr --sysconfdir=/etc \
     1.5  		--with-platform=efi --target=${EFI_ARCH} --program-prefix="" \
     1.6  		--mandir=/usr/share/man $CONFIGURE_ARGS &&
     1.7 -	sed -i 's| -Werror||' Makefile grub-core/Makefile &&
     1.8 +	sed -i 's| -Werror||;s|-Wl,--copy-dt-needed-entries||' \
     1.9 +		Makefile grub-core/Makefile &&
    1.10  	make $MAKEFLAGS &&
    1.11  	cd grub-core &&
    1.12  	../grub-mkimage -d . -o ../bootx64.efi -O x86_64-efi -p /boot/grub \