[webkit-gtk] Solved! (was Re: Crazy-long build times in GNOME 3.8??_

[Joanmarie Diggs]

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
     "Tools/Scripts/run-launcher" script.
    ====================================================================

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.

Take care.
--joanie