diff options
Diffstat (limited to 'testing/openjfx11/disable-webkit-sampling-profiler.patch')
| -rw-r--r-- | testing/openjfx11/disable-webkit-sampling-profiler.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/testing/openjfx11/disable-webkit-sampling-profiler.patch b/testing/openjfx11/disable-webkit-sampling-profiler.patch deleted file mode 100644 index 86285f8d754..00000000000 --- a/testing/openjfx11/disable-webkit-sampling-profiler.patch +++ /dev/null @@ -1,15 +0,0 @@ -Description: Disables the sampling profiler in WebKit (fails to build on arm64) -Author: Emmanuel Bourg <ebourg@apache.org> -Forwarded: not-needed -Taken from: https://sources.debian.org/patches/openjfx/11.0.2+1-1/19-disable-webkit-sampling-profiler.patch ---- old/modules/javafx.web/src/main/native/Source/cmake/WebKitFeatures.cmake -+++ new/modules/javafx.web/src/main/native/Source/cmake/WebKitFeatures.cmake -@@ -163,7 +163,7 @@ - WEBKIT_OPTION_DEFINE(ENABLE_RESOLUTION_MEDIA_QUERY "Toggle resolution media query support" PRIVATE OFF) - WEBKIT_OPTION_DEFINE(ENABLE_RESOURCE_USAGE "Toggle resource usage support" PRIVATE OFF) - WEBKIT_OPTION_DEFINE(ENABLE_RUBBER_BANDING "Toggle rubber banding support" PRIVATE OFF) -- WEBKIT_OPTION_DEFINE(ENABLE_SAMPLING_PROFILER "Toggle sampling profiler support" PRIVATE ON) -+ WEBKIT_OPTION_DEFINE(ENABLE_SAMPLING_PROFILER "Toggle sampling profiler support" PRIVATE OFF) - WEBKIT_OPTION_DEFINE(ENABLE_SERVICE_CONTROLS "Toggle service controls support" PRIVATE OFF) - WEBKIT_OPTION_DEFINE(ENABLE_SERVICE_WORKER "Toggle ServiceWorker support" PRIVATE OFF) - WEBKIT_OPTION_DEFINE(ENABLE_SMOOTH_SCROLLING "Toggle smooth scrolling" PRIVATE ON) |