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

[Darin Adler]

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/rego/checkout/WebKit/WebKitBuild/DependenciesGTK/Root/bin/gtkdoc-mkdb line 3889.
> 
> Generating webkitdomgtk documentation...
> Traceback (most recent call last):
>   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 201, in <module>
>     generate_documentation_for_config(common.build_path('gtkdoc-webkitdom.cfg'))
>   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 152, in generate_documentation_for_config
>     return generate_doc(generator, arguments.skip_html)
>   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 133, in generate_doc
>     generator.generate(not skip_html)
>   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 145, in generate
>     self._run_gtkdoc_mkdb()
>   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 361, in _run_gtkdoc_mkdb
>     self._run_command(args, cwd=self.output_dir)
>   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 210, in _run_command
>     % (args[0], process.returncode))

Is there someone who knows how to fix this?

— Darin