Sophie: java-1.8.0-openjfx-1:1.8.0.201-1.b08.3.mga6 src

java-1.8.0-openjfx-1.8.0.201-1.b08.3.mga6.src.rpm

Description: Disables the sampling profiler in WebKit (fails to build on arm64)
Author: Emmanuel Bourg <ebourg@apache.org>
Forwarded: not-needed
--- a/modules/web/src/main/native/Source/cmake/WebKitFeatures.cmake
+++ b/modules/web/src/main/native/Source/cmake/WebKitFeatures.cmake
@@ -155,7 +155,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)