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

updated faenza-icon-theme and faenza-icon-theme-emblems (1.3 -> 1.3.1)
author: Hans-G?nter Theisgen
date: Wed Jan 22 14:36:07 2020 +0100 (2020-01-22)
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 Jan 22 14:36:07 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