wok-next diff grub2/receipt @ rev 18336
Up zstd (0.1.1)
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Thu Sep 10 17:29:00 2015 +0200 (2015-09-10) |
parents | c79cc4583669 |
children | 99ae478b6540 |
line diff
1.1 --- a/grub2/receipt Sun Sep 22 18:54:53 2013 +0200 1.2 +++ b/grub2/receipt Thu Sep 10 17:29:00 2015 +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 $MAKEFLAGS 2>&1 | grep -v "ERROR''@|" && 1.8 + make $MAKEFLAGS && 1.9 make DESTDIR=$DESTDIR install 1.10 } 1.11