wok-6.x diff pari/receipt @ rev 18114
Up: get-palemoon (25.4.1)
author | Aleksej Bobylev <al.bobylev@gmail.com> |
---|---|
date | Sat Jun 06 21:21:03 2015 +0300 (2015-06-06) |
parents | 380ffe05937a |
children | 8cd03bcd99f2 |
line diff
1.1 --- a/pari/receipt Sat Aug 10 17:00:38 2013 +0000 1.2 +++ b/pari/receipt Sat Jun 06 21:21:03 2015 +0300 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