wok diff grub2-efi/receipt @ rev 21670

updated pcsc-tools (1.4.20 -> 1.5.4)
author: Hans-G?nter Theisgen
date: Sat Jun 01 15:19:00 2019 +0100 (2019-06-01)
parents: 4a0e93b2bbe5
children: cc07895be981
     1.1 --- a/grub2-efi/receipt	Fri May 04 12:13:00 2018 +0200
     1.2 +++ b/grub2-efi/receipt	Sat Jun 01 15:19:00 2019 +0100
     1.3 @@ -18,6 +18,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 +	sed -i 's|fprintf(...) |&(void)|' grub-core/script/yylex.l
     1.8  	export EFI_ARCH=i386
     1.9  	./configure --prefix=/usr --sysconfdir=/etc \
    1.10  		--with-platform=efi --target=${EFI_ARCH} --program-prefix="" \