wok diff nagios-plugins/receipt @ rev 18377

v4l4j: Update wget_url and (b)deps
author Yuri Pourre <yuripourre@gmail.com>
date Thu Sep 17 10:51:35 2015 -0300 (2015-09-17)
parents 47511c3f43bb
children 9e01bc6321ea
line diff
     1.1 --- a/nagios-plugins/receipt	Mon Sep 23 13:01:17 2013 +0000
     1.2 +++ b/nagios-plugins/receipt	Thu Sep 17 10:51:35 2015 -0300
     1.3 @@ -26,7 +26,7 @@
     1.4  	--with-fping-command="/usr/sbin/fping" \
     1.5  	--mandir=/usr/share/man $CONFIGURE_ARGS
     1.6  	
     1.7 -	make 2>&1 | grep -v "STRERROR" | grep -v "PERROR" &&
     1.8 +	make &&
     1.9  	make DESTDIR=$DESTDIR install &&
    1.10  	make DESTDIR=$DESTDIR install-root
    1.11  }