diff options
| author | Simon Frankenberger <simon@fraho.eu> | 2019-04-17 17:10:04 +0200 |
|---|---|---|
| committer | Rasmus Thomsen <oss@cogitri.dev> | 2019-10-26 23:25:01 +0200 |
| commit | 24f84de589b73c43fd4ed05c03486b7333c54753 (patch) | |
| tree | 5887331bed911e4e147f2700243fa837ffc581b2 /testing/openjfx12/disable-webkit-sampling-profiler.patch | |
| parent | bab0150a4387f6b3c9e549a1ad5cc4124207e70c (diff) | |
| download | aports-24f84de589b73c43fd4ed05c03486b7333c54753.tar.bz2 aports-24f84de589b73c43fd4ed05c03486b7333c54753.tar.xz | |
testing/openjfx12: New aport
Diffstat (limited to 'testing/openjfx12/disable-webkit-sampling-profiler.patch')
| -rw-r--r-- | testing/openjfx12/disable-webkit-sampling-profiler.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testing/openjfx12/disable-webkit-sampling-profiler.patch b/testing/openjfx12/disable-webkit-sampling-profiler.patch new file mode 100644 index 0000000000..86285f8d75 --- /dev/null +++ b/testing/openjfx12/disable-webkit-sampling-profiler.patch @@ -0,0 +1,15 @@ +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) |