wok diff gdb/receipt @ rev 16116

ARM: add tmux (Paul you need a RaspberryPi :-)
author Christophe Lincoln <pankso@slitaz.org>
date Sat Mar 22 20:32:09 2014 +0100 (2014-03-22)
parents 754670062927
children e5abf3dfdfb0
line diff
     1.1 --- a/gdb/receipt	Sun Sep 22 15:13:40 2013 +0200
     1.2 +++ b/gdb/receipt	Sat Mar 22 20:32:09 2014 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  	./configure --prefix=/usr \
     1.5  		--with-python=no \
     1.6  		--disable-werror $CONFIGURE_ARGS && \
     1.7 -	make $MAKEFLAGS 2>&1 | grep -v STRERROR &&
     1.8 +	make &&
     1.9  	make DESTDIR=$DESTDIR install
    1.10  }
    1.11