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
_______________________________________________
webkit-dev mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-dev
