# HG changeset patch # User Pascal Bellard # Date 1379868893 -7200 # Node ID c79cc4583669fc8374a605d20a886274ec446f66 # Parent 36547f9def7c60e6ee97575d35a67f4cdc225e5e grub2: remove wrong error trigger diff -r 36547f9def7c -r c79cc4583669 grub2/receipt --- a/grub2/receipt Sun Sep 22 18:52:36 2013 +0200 +++ b/grub2/receipt Sun Sep 22 18:54:53 2013 +0200 @@ -27,7 +27,7 @@ #chmod +x install-sh ./configure --prefix=/usr --sysconfdir=/etc \ --mandir=/usr/share/man $CONFIGURE_ARGS && - make && + make $MAKEFLAGS 2>&1 | grep -v "ERROR''@|" && make DESTDIR=$DESTDIR install } diff -r 36547f9def7c -r c79cc4583669 gsasl/receipt --- a/gsasl/receipt Sun Sep 22 18:52:36 2013 +0200 +++ b/gsasl/receipt Sun Sep 22 18:54:53 2013 +0200 @@ -17,7 +17,7 @@ cd $src ./configure --prefix=/usr --infodir=/usr/share/info \ --mandir=/usr/share/man $CONFIGURE_ARGS && - make $MAKEFLAGS 2>&1 | grep -v "ERROR''@[" && + make $MAKEFLAGS 2>&1 | grep -v "ERROR''@|" && make DESTDIR=$PWD/_pkg install }