# HG changeset patch # User Pascal Bellard # Date 1367872447 -7200 # Node ID c5fe515796a99f1f1afbfb49daa5a8dc7239ddf6 # Parent 90f30dc0f5b42cff1eb97d6490da32f6cd517ab0 libwebkit-video: filter out wrong error triggers diff -r 90f30dc0f5b4 -r c5fe515796a9 libwebkit-video/receipt --- a/libwebkit-video/receipt Sat May 04 21:58:46 2013 +0200 +++ b/libwebkit-video/receipt Mon May 06 22:34:07 2013 +0200 @@ -35,6 +35,7 @@ patch -Np1 -i $file_diff > /dev/null status done + touch Documentation/webkitgtk/version.xml # Build ./configure \ --prefix=/usr \ @@ -50,7 +51,8 @@ --disable-webkit2 \ --disable-gtk-doc-html \ $CONFIGURE_ARGS && - make all stamp-po && make DESTDIR=$DESTDIR install && + make all stamp-po 2>&1 | grep -v Source/WebCore/dom/testing && + make DESTDIR=$DESTDIR install 2>&1 | grep -v /usr/share/gtk-doc/html/ && cp -a $src/Programs/GtkLauncher $DESTDIR/usr/bin }