wok diff nagios-plugins/receipt @ rev 18059
merge default
author | Nathan Neulinger <nneul@neulinger.org> |
---|---|
date | Sat May 16 14:55:56 2015 +0000 (2015-05-16) |
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 Sat May 16 14:55:56 2015 +0000 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 }