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 webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev