wok diff pari/receipt @ rev 17044
Add paulstretch
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Tue Aug 19 18:02:31 2014 +0200 (2014-08-19) |
parents | 380ffe05937a |
children | 8cd03bcd99f2 |
line diff
1.1 --- a/pari/receipt Sat Aug 10 17:00:38 2013 +0000 1.2 +++ b/pari/receipt Tue Aug 19 18:02:31 2014 +0200 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