[Webkit-unassigned] [Bug 128388] Make EWS retry one more time after cleaning the build directory

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=128388


Csaba Osztrogonác <ossy at webkit.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ossy at webkit.org




--- Comment #4 from Csaba Osztrogonác <ossy at webkit.org>  2014-02-10 05:42:28 PST ---
I understand your intention to fix this annoying problem,  
but I'm not sure if it is the best fix for it. 

In my opinion it is too intrusive to remove the whole WebKitBuild (
including WebKitBuild/Dependencies too) always when the tree is red
or an incremental build issue occur. I think a simple "tree redness"
occur more often than the mentioned gtkdoc issue. And it seems it is
a GTK only problem, why should we remove the WebKitBuild on every
"tree redness" on every EWS?

I would prefer fixing gtkdoc somehow. Until the proper fix I can accept
a GTK only workaround like you proposed or a less intrusive workaround,
for example removing only the WebKitBuild/.../DerivedSources directory,

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.