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