wok-next diff gnuradio/receipt @ rev 19077

syslinux/iso2exe.sh: fix -f
author Pascal Bellard <pascal.bellard@slitaz.org>
date Mon Apr 25 10:51:04 2016 +0200 (2016-04-25)
parents 0179b7504010
children 2f3aba6cc31e
line diff
     1.1 --- a/gnuradio/receipt	Mon Sep 21 18:28:34 2015 +0200
     1.2 +++ b/gnuradio/receipt	Mon Apr 25 10:51:04 2016 +0200
     1.3 @@ -27,7 +27,8 @@
     1.4  	cd build
     1.5  	cmake -Wno-dev -DCMAKE_INSTALL_PREFIX=/usr .. &&
     1.6  	make &&
     1.7 -	make test # &&
     1.8 +	sed -i 's,bin/ctest.*,& || true,' Makefile &&
     1.9 +	make test &&
    1.10  	make DESTDIR=$DESTDIR install
    1.11  }
    1.12