[webkit-changes] [176846] trunk/Source

Fri, 05 Dec 2014 09:57:12 -0800

Title: [176846] trunk/Source
Revision
176846
Author
[email protected]
Date
2014-12-05 09:55:33 -0800 (Fri, 05 Dec 2014)

Log Message

FeatureDefines.xcconfig: Workaround bug in Xcode 5.1.1 when defining ENABLE_WEB_REPLAY
<http://webkit.org/b/139286>

Reviewed by Daniel Bates.

* Configurations/FeatureDefines.xcconfig: Switch back to using
PLATFORM_NAME to workaround a bug in Xcode 5.1.1 on 10.8.

Modified Paths

Diff

Modified: trunk/Source/_javascript_Core/ChangeLog (176845 => 176846)


--- trunk/Source/_javascript_Core/ChangeLog	2014-12-05 17:33:29 UTC (rev 176845)
+++ trunk/Source/_javascript_Core/ChangeLog	2014-12-05 17:55:33 UTC (rev 176846)
@@ -1,3 +1,13 @@
+2014-12-05  David Kilzer  <[email protected]>
+
+        FeatureDefines.xcconfig: Workaround bug in Xcode 5.1.1 when defining ENABLE_WEB_REPLAY
+        <http://webkit.org/b/139286>
+
+        Reviewed by Daniel Bates.
+
+        * Configurations/FeatureDefines.xcconfig: Switch back to using
+        PLATFORM_NAME to workaround a bug in Xcode 5.1.1 on 10.8.
+
 2014-12-04  Mark Rowe  <[email protected]>
 
         Build fix after r176836.

Modified: trunk/Source/_javascript_Core/Configurations/FeatureDefines.xcconfig (176845 => 176846)


--- trunk/Source/_javascript_Core/Configurations/FeatureDefines.xcconfig	2014-12-05 17:33:29 UTC (rev 176845)
+++ trunk/Source/_javascript_Core/Configurations/FeatureDefines.xcconfig	2014-12-05 17:55:33 UTC (rev 176846)
@@ -198,10 +198,9 @@
 ENABLE_VIEW_MODE_CSS_MEDIA = ;
 ENABLE_WEBGL = ENABLE_WEBGL;
 ENABLE_WEB_AUDIO = ENABLE_WEB_AUDIO;
-ENABLE_WEB_REPLAY[sdk=macosx*] = $(ENABLE_WEB_REPLAY_macosx_$(CONFIGURATION));
+ENABLE_WEB_REPLAY = $(ENABLE_WEB_REPLAY_$(PLATFORM_NAME)_$(CONFIGURATION));
 ENABLE_WEB_REPLAY_macosx_Debug = ENABLE_WEB_REPLAY;
 ENABLE_WEB_REPLAY_macosx_Release = ENABLE_WEB_REPLAY;
-ENABLE_WEB_REPLAY_macosx_Production = ;
 ENABLE_WEB_SOCKETS = ENABLE_WEB_SOCKETS;
 
 ENABLE_WEB_TIMING[sdk=iphone*] = ENABLE_WEB_TIMING;

Modified: trunk/Source/WebCore/ChangeLog (176845 => 176846)


--- trunk/Source/WebCore/ChangeLog	2014-12-05 17:33:29 UTC (rev 176845)
+++ trunk/Source/WebCore/ChangeLog	2014-12-05 17:55:33 UTC (rev 176846)
@@ -1,3 +1,13 @@
+2014-12-05  David Kilzer  <[email protected]>
+
+        FeatureDefines.xcconfig: Workaround bug in Xcode 5.1.1 when defining ENABLE_WEB_REPLAY
+        <http://webkit.org/b/139286>
+
+        Reviewed by Daniel Bates.
+
+        * Configurations/FeatureDefines.xcconfig: Switch back to using
+        PLATFORM_NAME to workaround a bug in Xcode 5.1.1 on 10.8.
+
 2014-12-05  Eric Carlson  <[email protected]>
 
         [iOS] allow host application to opt-out of alternate fullscreen pt. 2

Modified: trunk/Source/WebCore/Configurations/FeatureDefines.xcconfig (176845 => 176846)


--- trunk/Source/WebCore/Configurations/FeatureDefines.xcconfig	2014-12-05 17:33:29 UTC (rev 176845)
+++ trunk/Source/WebCore/Configurations/FeatureDefines.xcconfig	2014-12-05 17:55:33 UTC (rev 176846)
@@ -198,10 +198,9 @@
 ENABLE_VIEW_MODE_CSS_MEDIA = ;
 ENABLE_WEBGL = ENABLE_WEBGL;
 ENABLE_WEB_AUDIO = ENABLE_WEB_AUDIO;
-ENABLE_WEB_REPLAY[sdk=macosx*] = $(ENABLE_WEB_REPLAY_macosx_$(CONFIGURATION));
+ENABLE_WEB_REPLAY = $(ENABLE_WEB_REPLAY_$(PLATFORM_NAME)_$(CONFIGURATION));
 ENABLE_WEB_REPLAY_macosx_Debug = ENABLE_WEB_REPLAY;
 ENABLE_WEB_REPLAY_macosx_Release = ENABLE_WEB_REPLAY;
-ENABLE_WEB_REPLAY_macosx_Production = ;
 ENABLE_WEB_SOCKETS = ENABLE_WEB_SOCKETS;
 
 ENABLE_WEB_TIMING[sdk=iphone*] = ENABLE_WEB_TIMING;

Modified: trunk/Source/WebKit/mac/ChangeLog (176845 => 176846)


--- trunk/Source/WebKit/mac/ChangeLog	2014-12-05 17:33:29 UTC (rev 176845)
+++ trunk/Source/WebKit/mac/ChangeLog	2014-12-05 17:55:33 UTC (rev 176846)
@@ -1,3 +1,13 @@
+2014-12-05  David Kilzer  <[email protected]>
+
+        FeatureDefines.xcconfig: Workaround bug in Xcode 5.1.1 when defining ENABLE_WEB_REPLAY
+        <http://webkit.org/b/139286>
+
+        Reviewed by Daniel Bates.
+
+        * Configurations/FeatureDefines.xcconfig: Switch back to using
+        PLATFORM_NAME to workaround a bug in Xcode 5.1.1 on 10.8.
+
 2014-12-04  Timothy Horton  <[email protected]>
 
         Fix the 32-bit build.

Modified: trunk/Source/WebKit/mac/Configurations/FeatureDefines.xcconfig (176845 => 176846)


--- trunk/Source/WebKit/mac/Configurations/FeatureDefines.xcconfig	2014-12-05 17:33:29 UTC (rev 176845)
+++ trunk/Source/WebKit/mac/Configurations/FeatureDefines.xcconfig	2014-12-05 17:55:33 UTC (rev 176846)
@@ -198,10 +198,9 @@
 ENABLE_VIEW_MODE_CSS_MEDIA = ;
 ENABLE_WEBGL = ENABLE_WEBGL;
 ENABLE_WEB_AUDIO = ENABLE_WEB_AUDIO;
-ENABLE_WEB_REPLAY[sdk=macosx*] = $(ENABLE_WEB_REPLAY_macosx_$(CONFIGURATION));
+ENABLE_WEB_REPLAY = $(ENABLE_WEB_REPLAY_$(PLATFORM_NAME)_$(CONFIGURATION));
 ENABLE_WEB_REPLAY_macosx_Debug = ENABLE_WEB_REPLAY;
 ENABLE_WEB_REPLAY_macosx_Release = ENABLE_WEB_REPLAY;
-ENABLE_WEB_REPLAY_macosx_Production = ;
 ENABLE_WEB_SOCKETS = ENABLE_WEB_SOCKETS;
 
 ENABLE_WEB_TIMING[sdk=iphone*] = ENABLE_WEB_TIMING;

Modified: trunk/Source/WebKit2/ChangeLog (176845 => 176846)


--- trunk/Source/WebKit2/ChangeLog	2014-12-05 17:33:29 UTC (rev 176845)
+++ trunk/Source/WebKit2/ChangeLog	2014-12-05 17:55:33 UTC (rev 176846)
@@ -1,3 +1,13 @@
+2014-12-05  David Kilzer  <[email protected]>
+
+        FeatureDefines.xcconfig: Workaround bug in Xcode 5.1.1 when defining ENABLE_WEB_REPLAY
+        <http://webkit.org/b/139286>
+
+        Reviewed by Daniel Bates.
+
+        * Configurations/FeatureDefines.xcconfig: Switch back to using
+        PLATFORM_NAME to workaround a bug in Xcode 5.1.1 on 10.8.
+
 2014-12-05  Anders Carlsson  <[email protected]>
 
         Make WebPageProxy hold on to a SessionID instead of an API:Session

Modified: trunk/Source/WebKit2/Configurations/FeatureDefines.xcconfig (176845 => 176846)


--- trunk/Source/WebKit2/Configurations/FeatureDefines.xcconfig	2014-12-05 17:33:29 UTC (rev 176845)
+++ trunk/Source/WebKit2/Configurations/FeatureDefines.xcconfig	2014-12-05 17:55:33 UTC (rev 176846)
@@ -198,10 +198,9 @@
 ENABLE_VIEW_MODE_CSS_MEDIA = ;
 ENABLE_WEBGL = ENABLE_WEBGL;
 ENABLE_WEB_AUDIO = ENABLE_WEB_AUDIO;
-ENABLE_WEB_REPLAY[sdk=macosx*] = $(ENABLE_WEB_REPLAY_macosx_$(CONFIGURATION));
+ENABLE_WEB_REPLAY = $(ENABLE_WEB_REPLAY_$(PLATFORM_NAME)_$(CONFIGURATION));
 ENABLE_WEB_REPLAY_macosx_Debug = ENABLE_WEB_REPLAY;
 ENABLE_WEB_REPLAY_macosx_Release = ENABLE_WEB_REPLAY;
-ENABLE_WEB_REPLAY_macosx_Production = ;
 ENABLE_WEB_SOCKETS = ENABLE_WEB_SOCKETS;
 
 ENABLE_WEB_TIMING[sdk=iphone*] = ENABLE_WEB_TIMING;

_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to