wok diff grub2/receipt @ rev 20290

linux-module-headers: update deps for x86_64 target
author Pascal Bellard <pascal.bellard@slitaz.org>
date Mon Apr 16 09:37:49 2018 +0200 (2018-04-16)
parents 8154fa30d15b
children 81f116b5627e
line diff
     1.1 --- a/grub2/receipt	Sun Apr 30 10:12:31 2017 +0200
     1.2 +++ b/grub2/receipt	Mon Apr 16 09:37:49 2018 +0200
     1.3 @@ -18,11 +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 -	#chmod +x install-sh
    1.12  	./configure --prefix=/usr --sysconfdir=/etc \
    1.13  	--mandir=/usr/share/man $CONFIGURE_ARGS &&
    1.14  	make $MAKEFLAGS &&