[gnome-sdk-images] arm: Disable JIT to make webkit build



commit 1b33537b501ce3fe568ca3ac88fe2465b674cf99
Author: Alexander Larsson <alexl redhat com>
Date:   Thu Apr 6 12:32:31 2017 +0200

    arm: Disable JIT to make webkit build

 org.gnome.Sdk.json.in |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/org.gnome.Sdk.json.in b/org.gnome.Sdk.json.in
index 3073be6..369f781 100644
--- a/org.gnome.Sdk.json.in
+++ b/org.gnome.Sdk.json.in
@@ -745,7 +745,8 @@
                     },
                     "arm" : {
                         "config-opts" : [
-                            "-DCMAKE_SYSTEM_PROCESSOR=arm"
+                            "-DCMAKE_SYSTEM_PROCESSOR=arm",
+                            "-DENABLE_JIT=OFF"
                         ]
                     }
                 }


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]