wok-next rev 15314
pari: remove a wrong error trigger
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Fri Sep 27 16:38:06 2013 +0000 (2013-09-27) |
parents | 3eb8a14a68f7 |
children | b3db3f8245d7 |
files | pari/receipt |
line diff
1.1 --- a/pari/receipt Fri Sep 27 16:30:34 2013 +0000 1.2 +++ b/pari/receipt Fri Sep 27 16:38:06 2013 +0000 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