wok diff grub2-efi/receipt @ rev 21770
dhcp*: update website
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Mon Jul 01 12:11:40 2019 +0200 (2019-07-01) |
parents | 4a0e93b2bbe5 |
children | cc07895be981 |
line diff
1.1 --- a/grub2-efi/receipt Fri May 04 12:13:00 2018 +0200 1.2 +++ b/grub2-efi/receipt Mon Jul 01 12:11:40 2019 +0200 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="" \