wok diff pari/receipt @ rev 19715

Up cookutils(876): to fix amsn post-build
author Aleksej Bobylev <al.bobylev@gmail.com>
date Thu Feb 16 02:22:14 2017 +0200 (2017-02-16)
parents 380ffe05937a
children 8cd03bcd99f2
line diff
     1.1 --- a/pari/receipt	Sat Aug 10 17:00:38 2013 +0000
     1.2 +++ b/pari/receipt	Thu Feb 16 02:22:14 2017 +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