[OE-core] [PATCH] webkit-gtk: work around Make bug by re-running make

[Burton, Ross]

On 10 September 2012 22:23, Colin Walters <walters at verbum.org> wrote:
> On Mon, 2012-09-10 at 17:14 -0400, Colin Walters wrote:
>> On Mon, 2012-09-10 at 17:02 +0100, Ross Burton wrote:
>>
>> > +# fixed in Make CVS, so 3.83 won't have this problem.
>>
>> I know this will be painful, but did you consider looking at the make
>> version and determine whether or not this workaround is necessary?
>
> Or actually, why not just backport the make patch into core now?

I had a branch that added make-replacement-native 3.81 as a dependency
of WebKit, but that's far too fragile.

An alternative would be to add make-native as part of the bootstrap.
At this late stage in the release that's rather invasive.

Ross