wok rev 14492

libwebkit-video: filter out wrong error triggers
author Pascal Bellard <pascal.bellard@slitaz.org>
date Mon May 06 22:34:07 2013 +0200 (2013-05-06)
parents 90f30dc0f5b4
children fb43cf0da21a
files libwebkit-video/receipt
line diff
     1.1 --- a/libwebkit-video/receipt	Sat May 04 21:58:46 2013 +0200
     1.2 +++ b/libwebkit-video/receipt	Mon May 06 22:34:07 2013 +0200
     1.3 @@ -35,6 +35,7 @@
     1.4  		patch -Np1 -i $file_diff > /dev/null
     1.5  		status
     1.6  	done
     1.7 +	touch Documentation/webkitgtk/version.xml
     1.8  	# Build
     1.9  	./configure \
    1.10  		--prefix=/usr \
    1.11 @@ -50,7 +51,8 @@
    1.12  		--disable-webkit2 \
    1.13  		--disable-gtk-doc-html \
    1.14  		$CONFIGURE_ARGS &&
    1.15 -	make all stamp-po && make DESTDIR=$DESTDIR install &&
    1.16 +	make all stamp-po 2>&1 | grep -v Source/WebCore/dom/testing && 
    1.17 +	make DESTDIR=$DESTDIR install 2>&1 | grep -v /usr/share/gtk-doc/html/ &&
    1.18  	cp -a $src/Programs/GtkLauncher $DESTDIR/usr/bin
    1.19  }
    1.20