[Webkit-unassigned] [Bug 132674] New: [GTK] webkitdom script assumes mkdir only fails because the directory already exists
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Thu May 8 01:53:24 PDT 2014
https://bugs.webkit.org/show_bug.cgi?id=132674
Summary: [GTK] webkitdom script assumes mkdir only fails
because the directory already exists
Product: WebKit
Version: 528+ (Nightly build)
Platform: Unspecified
OS/Version: Unspecified
Status: NEW
Keywords: Gtk
Severity: Normal
Priority: P2
Component: Tools / Tests
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: cgarcia at igalia.com
CC: pnormand at igalia.com
This is wrong and confusing when it happens, like in http://build.webkit.org/builders/GTK%20Linux%2064-bit%20Debug/builds/41963/steps/compile-webkit/logs/stdio
FAILED: cd /home/slave/webkitgtk/gtk-linux-64-debug/build/WebKitBuild/Debug && CC=/usr/lib/ccache/gcc-4.8 CFLAGS=-pipe\ \ -fno-exceptions\ -fno-strict-aliasing /home/slave/webkitgtk/gtk-linux-64-debug/build/Tools/gtk/generate-gtkdoc --skip-html && touch docs-build-no-html.stamp
Traceback (most recent call last):
File "/home/slave/webkitgtk/gtk-linux-64-debug/build/Tools/gtk/generate-gtkdoc", line 194, in <module>
webkitdom.write_doc_files()
File "/home/slave/webkitgtk/gtk-linux-64-debug/build/Tools/gtk/webkitdom.py", line 243, in write_doc_files
with open(os.path.join(doc_dir, 'webkitdomgtk-sections.txt'), 'w') as sections_file:
IOError: [Errno 2] No such file or directory: '/home/slave/webkitgtk/gtk-linux-64-debug/build/WebKitBuild/Debug/DerivedSources/webkitdom/docs/webkitdomgtk-sections.txt'
ninja: build stopped: subcommand failed.
It can't create webkitdomgtk-sections.txt because doc_dir doesn't exist, mkdir failed but the error was ignored. I would be useful to know why mkdir failed and abort.
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list