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) | ||