[gnome-sdk-images/gnome-3-24] arm: Disable webkit JIT

[Alexander Larsson <alexl src gnome org>]

commit 076ef84324097caa15c0f10bd60f4d93538cd49b
Author: Alexander Larsson <alexl redhat com>
Date:   Wed Apr 5 11:35:51 2017 +0200

    arm: Disable webkit JIT
    
    It seems the JIT fails to build on arm ATM. Lets try
    to get a build at least.

 org.gnome.Sdk.json.in |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/org.gnome.Sdk.json.in b/org.gnome.Sdk.json.in
index 10095ef..a16f48a 100644
--- a/org.gnome.Sdk.json.in
+++ b/org.gnome.Sdk.json.in
@@ -718,6 +718,7 @@
                    "arm" : {
                         "config-opts" : [
                             "-DCMAKE_SYSTEM_PROCESSOR=arm"
+                            "-DENABLE_FTL_JIT=OFF"
                        ]
                    }
                 }