webkit-gtk: work around Make bug by re-running make
authorRoss Burton <ross.burton@intel.com>
Mon, 10 Sep 2012 16:02:22 +0000 (17:02 +0100)
committerRichard Purdie <richard.purdie@linuxfoundation.org>
Wed, 12 Sep 2012 14:13:37 +0000 (15:13 +0100)
commit61e85c1d9876873ae91b704e603d7ca56a485e50
treef933930c3b6a18cbd9813ce852982ff7f6ab1051
parenteae26199438e717b2da894f74db8988f094bddf1
webkit-gtk: work around Make bug by re-running make

GNU make 3.82 has a bug where it drops required dependencies.
https://bugs.webkit.org/show_bug.cgi?id=79498 is the WebKitGTK+
bug, and http://savannah.gnu.org/bugs/?30653 is the GNU Make bug.

Work around this by running make again if it fails just in case the failure is
due to the bug.

Based on a patch by Andreas Müller <schnitzeltony@googlemail.com>.

[ YOCTO #2816 ]

(From OE-Core rev: af5bdc8ca413d6cabeb4f4b4c5836912a17f28be)

Signed-off-by: Ross Burton <ross.burton@intel.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
meta/recipes-sato/webkit/webkit-gtk_1.8.2.bb