Changeset 200863 in webkit


Ignore:
Timestamp:
May 13, 2016 11:06:43 AM (8 years ago)
Author:
yoav@yoav.ws
Message:

Turn on WEB_TIMING for all ports
​https://bugs.webkit.org/show_bug.cgi?id=157673

Reviewed by Alex Christensen.

.:

Turn on WEB_TIMING by default on the cmake Mac port, to match it with all other ports,
and make sure that the flag will be on by default for all ports.

  • Source/cmake/OptionsGTK.cmake: Remove the specific private flag for WEB_TIMING.
  • Source/cmake/OptionsMac.cmake: Remove the specific private flag for WEB_TIMING.
  • Source/cmake/WebKitFeatures.cmake: Turn on WEB_TIMING for all ports by default.

Tools:

  • Scripts/webkitperl/FeatureList.pm: Make sure that WEB_TIMING is on by default.
Location:
trunk
Files:
6 edited

Legend:

Unmodified
Added
Removed

  • trunk/ChangeLog

    r200747 r200863  
     12016-05-13  Yoav Weiss  <yoav@yoav.ws>
     2
     3        Turn on WEB_TIMING for all ports
     4        https://bugs.webkit.org/show_bug.cgi?id=157673
     5
     6        Reviewed by Alex Christensen.
     7
     8        Turn on WEB_TIMING by default on the cmake Mac port, to match it with all other ports,
     9        and make sure that the flag will be on by default for all ports.
     10
     11        * Source/cmake/OptionsGTK.cmake: Remove the specific private flag for WEB_TIMING.
     12        * Source/cmake/OptionsMac.cmake: Remove the specific private flag for WEB_TIMING.
     13        * Source/cmake/WebKitFeatures.cmake: Turn on WEB_TIMING for all ports by default.
     14
    1152016-05-12  Csaba Osztrogonác  <ossy@webkit.org>
    216

  • trunk/Source/cmake/OptionsGTK.cmake

    r200621 r200863  
    173173WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_USER_MESSAGE_HANDLERS PRIVATE ON)
    174174WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_VIDEO_TRACK PRIVATE ON)
    175 WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_WEB_TIMING PRIVATE ON)
    176175WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_WEBGL PRIVATE ON)
    177176

  • trunk/Source/cmake/OptionsMac.cmake

    r200075 r200863  
    117117WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_DEVICE_ORIENTATION PRIVATE OFF)
    118118WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_FTL_JIT PRIVATE ON)
    119 WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_WEB_TIMING PRIVATE OFF)
    120119WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_GAMEPAD PRIVATE OFF)
    121120WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_IOS_AIRPLAY PRIVATE OFF)

  • trunk/Source/cmake/WebKitFeatures.cmake

    r200747 r200863  
    198198    WEBKIT_OPTION_DEFINE(ENABLE_WEB_RTC "Toggle WebRTC API support" PRIVATE OFF)
    199199    WEBKIT_OPTION_DEFINE(ENABLE_WEB_SOCKETS "Toggle Web Sockets support" PRIVATE ON)
    200     WEBKIT_OPTION_DEFINE(ENABLE_WEB_TIMING "Toggle Web Timing support" PRIVATE OFF)
     200    WEBKIT_OPTION_DEFINE(ENABLE_WEB_TIMING "Toggle Web Timing support" PRIVATE ON)
    201201    WEBKIT_OPTION_DEFINE(ENABLE_XSLT "Toggle XSLT support" PRIVATE ON)
    202202    WEBKIT_OPTION_DEFINE(USE_SYSTEM_MALLOC "Toggle system allocator instead of WebKit's custom allocator" PRIVATE OFF)

  • trunk/Tools/ChangeLog

    r200859 r200863  
     12016-05-13  Yoav Weiss  <yoav@yoav.ws>
     2
     3        Turn on WEB_TIMING for all ports
     4        https://bugs.webkit.org/show_bug.cgi?id=157673
     5
     6        Reviewed by Alex Christensen.
     7
     8        * Scripts/webkitperl/FeatureList.pm: Make sure that WEB_TIMING is on by default.
     9
    1102016-05-13  Brady Eidson  <beidson@apple.com>
    211

  • trunk/Tools/Scripts/webkitperl/FeatureList.pm

    r200747 r200863  
    446446
    447447    { option => "web-timing", desc => "Toggle Web Timing support",
    448       define => "ENABLE_WEB_TIMING", default => (isGtk() || isEfl()), value => \$webTimingSupport },
     448      define => "ENABLE_WEB_TIMING", default => 1, value => \$webTimingSupport },
    449449
    450450    { option => "xslt", desc => "Toggle XSLT support",
Note: See TracChangeset for help on using the changeset viewer.