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/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?
>
> hmm, a clean build should fix that, I'd say.
However, that should never happen, unstable headers shouldn't be scanned
by gtk-doc, so this is revealing a bug in our generate-gtkdoc script.
> > — Darin
> > _______________________________________________
> > webkit-dev mailing list
> > [email protected]
> > https://lists.webkit.org/mailman/listinfo/webkit-dev
>
>
> _______________________________________________
> webkit-dev mailing list
> [email protected]
> https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-dev
