wok diff grub2/receipt @ rev 13418
up zim (0.56)
author | Samuel Trassare <samuel_trassare@yahoo.com> |
---|---|
date | Mon Oct 01 16:23:33 2012 +0000 (2012-10-01) |
parents | 29cc51bc1716 |
children | 24d193656599 |
line diff
1.1 --- a/grub2/receipt Thu Jun 28 15:37:30 2012 +0200 1.2 +++ b/grub2/receipt Mon Oct 01 16:23:33 2012 +0000 1.3 @@ -17,6 +17,11 @@ 1.4 compile_rules() 1.5 { 1.6 cd $src 1.7 + 1.8 + # Fixes for flex 2.5.37 1.9 + export CFLAGS="-Wno-error=sign-compare" 1.10 + sed -i 's/YY_FATAL_ERROR/REMOVED_&/' grub-core/script/yylex.l 1.11 + 1.12 chmod +x install-sh 1.13 ./configure --prefix=/usr --sysconfdir=/etc \ 1.14 --mandir=/usr/share/man $CONFIGURE_ARGS &&