wok rev 15233

grub2: remove wrong error trigger
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sun Sep 22 18:54:53 2013 +0200 (2013-09-22)
parents 36547f9def7c
children 400d0b863639
files grub2/receipt gsasl/receipt
line diff
     1.1 --- a/grub2/receipt	Sun Sep 22 18:52:36 2013 +0200
     1.2 +++ b/grub2/receipt	Sun Sep 22 18:54:53 2013 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4  	#chmod +x install-sh
     1.5  	./configure --prefix=/usr --sysconfdir=/etc \
     1.6  	--mandir=/usr/share/man $CONFIGURE_ARGS &&
     1.7 -	make &&
     1.8 +	make $MAKEFLAGS 2>&1 | grep -v "ERROR''@|" &&
     1.9  	make DESTDIR=$DESTDIR install
    1.10  }
    1.11  
     2.1 --- a/gsasl/receipt	Sun Sep 22 18:52:36 2013 +0200
     2.2 +++ b/gsasl/receipt	Sun Sep 22 18:54:53 2013 +0200
     2.3 @@ -17,7 +17,7 @@
     2.4  	cd $src
     2.5  	./configure --prefix=/usr --infodir=/usr/share/info \
     2.6  	--mandir=/usr/share/man $CONFIGURE_ARGS &&
     2.7 -	make $MAKEFLAGS 2>&1 | grep -v "ERROR''@[" &&
     2.8 +	make $MAKEFLAGS 2>&1 | grep -v "ERROR''@|" &&
     2.9  	make DESTDIR=$PWD/_pkg install
    2.10  }
    2.11