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

updated osip and osip-dev (5.1.0 -> 5.1.1)
author: Hans-G?nter Theisgen
date: Sat Mar 28 10:41:34 2020 +0100 (2020-03-28)
parents: 996067d113c6
children: 68cf96abc146
     1.1 --- a/grub2-efi-x64/receipt	Mon Dec 09 16:05:14 2019 +0100
     1.2 +++ b/grub2-efi-x64/receipt	Sat Mar 28 10:41:34 2020 +0100
     1.3 @@ -31,8 +31,6 @@
     1.4  
     1.5  	# Fixes for flex 2.5.37
     1.6  	export CFLAGS="-Wno-error=sign-compare -Wno-error=unused-value"
     1.7 -	sed -i '/#undef gets/{N;s/.*/#ifdef gets\n&\n#endif/}' \
     1.8 -		grub-core/gnulib/stdio*h
     1.9  	sed -i 's/YY_FATAL_ERROR/REMOVED_&/' \
    1.10  		grub-core/script/yylex.l
    1.11