[Webkit-unassigned] [Bug 191941] [GTK] Disable the sampling profiler by default if the JIT is off

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=191941

Michael Catanzaro <mcatanzaro at igalia.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |mcatanzaro at igalia.com
         Resolution|---                         |DUPLICATE

--- Comment #1 from Michael Catanzaro <mcatanzaro at igalia.com> ---
It's set properly in WebKitFeatures.cmake, so we just need to not override it in OptionsGTK.cmake. It's easiest to handle this in bug #186722.

*** This bug has been marked as a duplicate of bug 186722 ***

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20181124/3b500ff9/attachment.html>