[webkit-gtk] Solved! (was Re: Crazy-long build times in GNOME 3.8??_
jdiggs at igalia.com
Mon Apr 1 14:09:25 PDT 2013
On 03/31/2013 02:25 AM, Joanmarie Diggs wrote:
> The good news: The warnings are gone and things have improved:
> WebKit is now built (1h:27m:57s).
> To run GtkLauncher with this newly-built code, use the
> "Tools/Scripts/run-launcher" script.
> The bad news is that the build time is still 1 hour (and a handful of
> minutes) greater than it used to be. :(
New time for a clean release build with ccache cleared:
WebKit is now built (22m:00s).
To run GtkLauncher with this newly-built code, use the
Happy happy joy joy. :) Props (and many thanks) to Xan who pointed out
my problem was very likely due to F19's using debug kernels.
More information about the webkit-gtk