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 }