]> code.ossystems Code Review - openembedded-core.git/commit
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 13:44:52 +0000 (14:44 +0100)
commitaf5bdc8ca413d6cabeb4f4b4c5836912a17f28be
tree8afb6da61223be18c1822502a4c8e61c5728a8d1
parent2b4b5f3259be4b790c098fc98cae0275ac6804a0
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 ]

Signed-off-by: Ross Burton <ross.burton@intel.com>
meta/recipes-sato/webkit/webkit-gtk_1.8.2.bb