Changeset 107098 in webkit

Timestamp:

Feb 8, 2012, 9:31:44 AM (15 years ago)

Author:

commit-queue@webkit.org

Message:

[GTK] Fails to build docs with non-standard build directories
​https://bugs.webkit.org/show_bug.cgi?id=78118

Patch by Gustavo Noronha Silva <Gustavo Noronha Silva> on 2012-02-08
Reviewed by Martin Robinson.

• gtk/common.py:

(get_build_path): also try the current directory as a valid build
dir, which makes non-standard build directories such as build-2.0
and build-3.0 work

Location:

trunk/Tools

Files:

• ChangeLog (modified) (1 diff)
• gtk/common.py (modified) (1 diff)

trunk/Tools/ChangeLog

@@ +1 @@
+2012-02-08  Gustavo Noronha Silva  <gns@gnome.org>
+
+        [GTK] Fails to build docs with non-standard build directories
+        https://bugs.webkit.org/show_bug.cgi?id=78118
+
+        Reviewed by Martin Robinson.
+
+        * gtk/common.py:
+        (get_build_path): also try the current directory as a valid build
+        dir, which makes non-standard build directories such as build-2.0
+        and build-3.0 work
+
 2012-02-08  Carlos Garcia Campos  <cgarcia@igalia.com>
 

trunk/Tools/gtk/common.py

@@ -65 +65 @@
         return build_dir
 
+    build_dir = os.getcwd()
+    if is_valid_build_directory(build_dir):
+        return build_dir
+
     print 'Could not determine build directory.'
     sys.exit(1)