wok diff grub2-efi/receipt @ rev 21501

updated mutagen (1.28 -> 1.42.0)
author: Hans-G?nter Theisgen
date: Thu May 02 15:41:19 2019 +0100 (2019-05-02)
parents: 4a0e93b2bbe5
children: cc07895be981
     1.1 --- a/grub2-efi/receipt	Fri May 04 12:13:00 2018 +0200
     1.2 +++ b/grub2-efi/receipt	Thu May 02 15:41:19 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="" \