wok diff grub2/receipt @ rev 16224

Up: mhwaveedit (1.4.23)
author: Alexander Medvedev <devl547@gmail.com>
date: Tue Apr 01 07:06:14 2014 +0000 (2014-04-01)
parents: c79cc4583669
children: 99ae478b6540
     1.1 --- a/grub2/receipt	Sun Sep 22 18:54:53 2013 +0200
     1.2 +++ b/grub2/receipt	Tue Apr 01 07:06:14 2014 +0000
     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
author	Alexander Medvedev <devl547@gmail.com>
date	Tue Apr 01 07:06:14 2014 +0000 (2014-04-01)
parents	c79cc4583669
children	99ae478b6540