wok-6.x diff sed/receipt @ rev 15744

bash: fix default /etc/bashrc
author Christophe Lincoln <pankso@slitaz.org>
date Thu Jan 02 17:58:07 2014 +0100 (2014-01-02)
parents 7abf990db309
children 4c9e6fbf8207
line diff
     1.1 --- a/sed/receipt	Mon Sep 23 12:20:26 2013 +0000
     1.2 +++ b/sed/receipt	Thu Jan 02 17:58:07 2014 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  		--infodir=/usr/share/info \
     1.5  		--mandir=/usr/share/man \
     1.6  		$CONFIGURE_ARGS &&
     1.7 -	make $MAKEFLAGS 2>&1 | grep -v "ERROR''@|" &&
     1.8 +	make $MAKEFLAGS &&
     1.9  	make DESTDIR=$DESTDIR install
    1.10  }
    1.11