Changeset 107138 in webkit

Timestamp:

Feb 8, 2012, 3:20:31 PM (15 years ago)

Author:

kov@webkit.org

Message:

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

• gtk/common.py:

(get_build_path): add comment to document changes done in r107098,
as requested by the reviewer and forgotten by me.

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
+
+        * gtk/common.py:
+        (get_build_path): add comment to document changes done in r107098,
+        as requested by the reviewer and forgotten by me.
+
 2012-02-08  Adam Barth  <abarth@webkit.org>
 

trunk/Tools/gtk/common.py

@@ -65 +65 @@
         return build_dir
 
+    # Debian and Ubuntu build both flavours of the library (with gtk2
+    # and with gtk3); they use directories build-2.0 and build-3.0 for
+    # that, which is not handled by the above cases; we check that the
+    # directory where we are called from is a valid build directory,
+    # which should handle pretty much all other non-standard cases.
     build_dir = os.getcwd()
     if is_valid_build_directory(build_dir):