Title: [107098] trunk/Tools
Revision
107098
Author
commit-qu...@webkit.org
Date
2012-02-08 09:31:44 -0800 (Wed, 08 Feb 2012)

Log 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 <g...@gnome.org> 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

Modified Paths

Diff

Modified: trunk/Tools/ChangeLog (107097 => 107098)


--- trunk/Tools/ChangeLog	2012-02-08 17:15:42 UTC (rev 107097)
+++ trunk/Tools/ChangeLog	2012-02-08 17:31:44 UTC (rev 107098)
@@ -1,3 +1,15 @@
+2012-02-08  Gustavo Noronha Silva  <g...@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  <cgar...@igalia.com>
 
         [GTK] Open links in a new window when clicking with the middle button in MiniBrowser

Modified: trunk/Tools/gtk/common.py (107097 => 107098)


--- trunk/Tools/gtk/common.py	2012-02-08 17:15:42 UTC (rev 107097)
+++ trunk/Tools/gtk/common.py	2012-02-08 17:31:44 UTC (rev 107098)
@@ -64,6 +64,10 @@
     if is_valid_build_directory(build_dir):
         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)
 
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes

Reply via email to