wok rev 15174

libwebkit: filter wrong error trigger
author Pascal Bellard <pascal.bellard@slitaz.org>
date Fri Aug 16 09:39:42 2013 +0000 (2013-08-16)
parents 41ec34064348
children 63230fad92f1
files libwebkit/receipt
line diff
     1.1 --- a/libwebkit/receipt	Fri Aug 16 09:18:47 2013 +0000
     1.2 +++ b/libwebkit/receipt	Fri Aug 16 09:39:42 2013 +0000
     1.3 @@ -49,7 +49,8 @@
     1.4  		--with-gtk=2.0 \
     1.5  		--disable-gtk-doc \
     1.6  		$CONFIGURE_ARGS &&
     1.7 -	make all stamp-po && make DESTDIR=$DESTDIR install &&
     1.8 +	make all stamp-po 2>&1 | grep -v Source/WebCore/dom/testing &&
     1.9 +	make DESTDIR=$DESTDIR install 2>&1 | grep -Ev (/usr/share/gtk-doc/html|Documentation/webkitgtk/version.xml) &&
    1.10  	cp -a $src/Programs/GtkLauncher $DESTDIR/usr/bin
    1.11  }
    1.12  
    1.13 @@ -57,6 +58,6 @@
    1.14  genpkg_rules()
    1.15  {
    1.16  	mkdir -p $fs/usr/lib $fs/usr/bin
    1.17 -	[ -d $_pkg/usr/lib/girepository-1.0 ] && cp -a $_pkg/usr/lib/girepository-1.0 $fs/usr/lib
    1.18 -	cp -a $_pkg/usr/lib/*.so* $fs/usr/lib
    1.19 +	[ -d $install/usr/lib/girepository-1.0 ] && cp -a $install/usr/lib/girepository-1.0 $fs/usr/lib
    1.20 +	cp -a $install/usr/lib/*.so* $fs/usr/lib
    1.21  }