Re: [webkit-dev] GTK EWS bot failing to build (gtkdoc-mkdb can’t find WebKitDOMCustomUnstable.h)

2014-11-09 Thread Carlos Garcia Campos
El dom, 09-11-2014 a las 11:30 +0100, Carlos Garcia Campos escribió: > El dom, 09-11-2014 a las 11:07 +0100, Carlos Garcia Campos escribió: > > El sáb, 08-11-2014 a las 16:27 -0800, Darin Adler escribió: > > > Hi folks. > > > > > > The GTK EWS bot is failing to build, with this error: > > > > > >

Re: [webkit-dev] GTK EWS bot failing to build (gtkdoc-mkdb can’t find WebKitDOMCustomUnstable.h)

2014-11-09 Thread Carlos Garcia Campos
El dom, 09-11-2014 a las 11:07 +0100, Carlos Garcia Campos escribió: > El sáb, 08-11-2014 a las 16:27 -0800, Darin Adler escribió: > > Hi folks. > > > > The GTK EWS bot is failing to build, with this error: > > > > > Can't open > > > /home/rego/checkout/WebKit/WebKitBuild/Release/DerivedSources/

Re: [webkit-dev] GTK EWS bot failing to build (gtkdoc-mkdb can’t find WebKitDOMCustomUnstable.h)

2014-11-09 Thread Carlos Garcia Campos
El sáb, 08-11-2014 a las 16:27 -0800, Darin Adler escribió: > Hi folks. > > The GTK EWS bot is failing to build, with this error: > > > Can't open > > /home/rego/checkout/WebKit/WebKitBuild/Release/DerivedSources/webkitdom/WebKitDOMCustomUnstable.h: > > No such file or directory at > > /home/r