wok diff pari/receipt @ rev 21510
updated nagios and nagios-dev (3.5.1 -> 4.4.3)
author | Hans-G?nter Theisgen |
---|---|
date | Fri May 03 11:24:27 2019 +0100 (2019-05-03) |
parents | 380ffe05937a |
children | 8cd03bcd99f2 |
line diff
1.1 --- a/pari/receipt Sat Aug 10 17:00:38 2013 +0000 1.2 +++ b/pari/receipt Fri May 03 11:24:27 2019 +0100 1.3 @@ -22,7 +22,9 @@ 1.4 ./Configure --host=$ARCH --graphic=X11 --builddir=build --prefix=/usr && 1.5 cd build 1.6 make all && 1.7 - make DESTDIR=$install install 1.8 + make DESTDIR=$install install 2>&1 | sed \ 1.9 + -e "s/dvi': No such/dvi': no such/" \ 1.10 + -e "s/ps': No such/ps': no such/" 1.11 rm -rf $src/build 1.12 } 1.13