wok diff grub2/receipt @ rev 25503

f3: include extra programs
author: Hans-G?nter Theisgen
date: Fri Jan 27 10:37:43 2023 +0100 (16 months ago)
parents: 77181abaf3f8
     1.1 --- a/grub2/receipt	Sat Apr 02 17:25:58 2022 +0100
     1.2 +++ b/grub2/receipt	Fri Jan 27 10:37:43 2023 +0100
     1.3 @@ -30,7 +30,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	sed -i 's|fprintf(...) |&(void)|' \
     1.8 +	sed -i 's|fprintf(...) |&(void)|'	grub-core/script/yylex.l
     1.9  
    1.10  	# Avoid grub-mkimage error: decompressor is too big:
    1.11  	patch --strip=1 --input=$stuff/patches/gentpl.py-2.04