diff options
| author | Ross Burton <ross.burton@intel.com> | 2012-09-10 17:02:22 +0100 |
|---|---|---|
| committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2012-09-12 15:13:37 +0100 |
| commit | 13221b222b71fc8afdae819056aea85457a9e02e (patch) | |
| tree | c01237c39fb89af2d03a65361292c16e9a633178 /meta/recipes-devtools | |
| parent | 69c4ddf1387f125b2a96259955df19f86d4b505a (diff) | |
| download | poky-13221b222b71fc8afdae819056aea85457a9e02e.tar.gz | |
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>
Diffstat (limited to 'meta/recipes-devtools')
0 files changed, 0 insertions, 0 deletions