# HG changeset patch # User Pascal Bellard # Date 1380299886 0 # Node ID a38fd3f53d2d7825c1df9bbe7d4c60336546216f # Parent 3eb8a14a68f7821824f2ed91cb9fc6aa38e07a3e pari: remove a wrong error trigger diff -r 3eb8a14a68f7 -r a38fd3f53d2d pari/receipt --- a/pari/receipt Fri Sep 27 16:30:34 2013 +0000 +++ b/pari/receipt Fri Sep 27 16:38:06 2013 +0000 @@ -22,7 +22,9 @@ ./Configure --host=$ARCH --graphic=X11 --builddir=build --prefix=/usr && cd build make all && - make DESTDIR=$install install + make DESTDIR=$install install 2>&1 | sed \ + -e "s/dvi': No such/dvi': no such/" \ + -e "s/ps': No such/ps': no such/" rm -rf $src/build }