wok rev 19936

Up grub2 (2.02) again
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sun Apr 30 10:15:50 2017 +0200 (2017-04-30)
parents 8154fa30d15b
children 8ea880a1f185
files grub2-efi/receipt grub2/receipt
line diff
     1.1 --- a/grub2-efi/receipt	Sun Apr 30 10:12:31 2017 +0200
     1.2 +++ b/grub2-efi/receipt	Sun Apr 30 10:15:50 2017 +0200
     1.3 @@ -18,10 +18,6 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	# Fixes for flex 2.5.37
     1.8 -	export CFLAGS="-Wno-error=sign-compare"
     1.9 -	sed -i 's/YY_FATAL_ERROR/REMOVED_&/' grub-core/script/yylex.l
    1.10 -
    1.11  	export EFI_ARCH=i386
    1.12  	./configure --prefix=/usr --sysconfdir=/etc \
    1.13  		--with-platform=efi --target=${EFI_ARCH} --program-prefix="" \
     2.1 --- a/grub2/receipt	Sun Apr 30 10:12:31 2017 +0200
     2.2 +++ b/grub2/receipt	Sun Apr 30 10:15:50 2017 +0200
     2.3 @@ -18,11 +18,6 @@
     2.4  # Rules to configure and make the package.
     2.5  compile_rules()
     2.6  {
     2.7 -	# Fixes for flex 2.5.37
     2.8 -	export CFLAGS="-Wno-error=sign-compare"
     2.9 -	sed -i 's/YY_FATAL_ERROR/REMOVED_&/' grub-core/script/yylex.l
    2.10 -	
    2.11 -	#chmod +x install-sh
    2.12  	./configure --prefix=/usr --sysconfdir=/etc \
    2.13  	--mandir=/usr/share/man $CONFIGURE_ARGS &&
    2.14  	make $MAKEFLAGS &&