# HG changeset patch # User Pascal Bellard # Date 1379941277 0 # Node ID 47511c3f43bb0af1627e26c26c44eae3f771e96d # Parent 934107586152b92837ab7d448011498eea09d247 nagios-plugins: remove wrong error trigger diff -r 934107586152 -r 47511c3f43bb nagios-plugins/receipt --- a/nagios-plugins/receipt Mon Sep 23 12:55:25 2013 +0000 +++ b/nagios-plugins/receipt Mon Sep 23 13:01:17 2013 +0000 @@ -26,7 +26,7 @@ --with-fping-command="/usr/sbin/fping" \ --mandir=/usr/share/man $CONFIGURE_ARGS - make && + make 2>&1 | grep -v "STRERROR" | grep -v "PERROR" && make DESTDIR=$DESTDIR install && make DESTDIR=$DESTDIR install-root } diff -r 934107586152 -r 47511c3f43bb octave/receipt --- a/octave/receipt Mon Sep 23 12:55:25 2013 +0000 +++ b/octave/receipt Mon Sep 23 13:01:17 2013 +0000 @@ -31,7 +31,7 @@ --mandir=/usr/share/man \ --enable-shared --disable-static --disable-docs \ $CONFIGURE_ARGS && - LANG=C make $MAKEFLAGS | grep -v "STRERROR" | grep -v "PERROR" && + LANG=C make $MAKEFLAGS 2>&1 | grep -v "STRERROR" | grep -v "PERROR" && make DESTDIR=$DESTDIR install }