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

[Colin Walters]

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?