wok-current diff grub2-efi-x64/receipt @ rev 23432

updated phpvirtualbox (4.0-7 -> 5.2.1)
author: Hans-G?nter Theisgen
date: Wed Apr 01 17:31:39 2020 +0100 (2020-04-01)
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	Wed Apr 01 17:31:39 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