wok-next diff pari/receipt @ rev 15846
python-distribute: Fixed WGET_URL.
author | Christopher Rogers <slaxemulator@gmail.com> |
---|---|
date | Mon Jan 27 06:32:12 2014 +0000 (2014-01-27) |
parents | 380ffe05937a |
children | 7639f09792cf |
line diff
1.1 --- a/pari/receipt Sat Aug 10 17:00:38 2013 +0000 1.2 +++ b/pari/receipt Mon Jan 27 06:32:12 2014 +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