Changeset 148615 in webkit

Timestamp:

Apr 17, 2013 9:15:09 AM (11 years ago)

Author:

commit-queue@webkit.org

Message:

media-stream and xslt are no longer configurable options in the GTK+ port
​https://bugs.webkit.org/show_bug.cgi?id=114736

Patch by Alberto Garcia <​agarcia@igalia.com> on 2013-04-17
Reviewed by Martin Robinson.

media-stream support was removed in r145199 and XSLT is a hard
requirement since r145859. Attempting to pass those options to the
configure script, only results in a warning.

• Scripts/webkitdirs.pm:

(buildAutotoolsProject):

Location:

trunk/Tools

Files:

• ChangeLog (modified) (1 diff)
• Scripts/webkitdirs.pm (modified) (2 diffs)

trunk/Tools/ChangeLog

@@ +1 @@
+2013-04-17  Alberto Garcia  <agarcia@igalia.com>
+
+        media-stream and xslt are no longer configurable options in the GTK+ port
+        https://bugs.webkit.org/show_bug.cgi?id=114736
+
+        Reviewed by Martin Robinson.
+
+        media-stream support was removed in r145199 and XSLT is a hard
+        requirement since r145859. Attempting to pass those options to the
+        configure script, only results in a warning.
+
+        * Scripts/webkitdirs.pm:
+        (buildAutotoolsProject):
+
 2013-04-17  Michał Pakuła vel Rutka  <m.pakula@samsung.com>
 

trunk/Tools/Scripts/webkitdirs.pm

@@ -2112 +2112 @@
         "gamepad" => 1,
         "geolocation" => 1,
-        "media-stream" => 1,
         "svg" => 1,
         "svg-fonts" => 1,
@@ -2118 +2117 @@
         "webgl" => 1,
         "web-audio" => 1,
-        "xslt" => 1,
     );