From 8884a09a139099090164da3b865dad51ec351499 Mon Sep 17 00:00:00 2001
From: Daniel Matichuk <daniel.matichuk@nicta.com.au>
Date: Fri, 29 Jan 2016 13:44:54 +1100
Subject: [PATCH] update isabelle settings to set L4V_ARCH to ARM by default

---
 misc/etc/settings | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/misc/etc/settings b/misc/etc/settings
index 668625dab..df843ed1d 100644
--- a/misc/etc/settings
+++ b/misc/etc/settings
@@ -26,6 +26,9 @@ JEDIT_JAVA_OPTIONS="-Xms128m -Xmx4096m -Xss4m"
 # show brackets in jEdit
 ISABELLE_JEDIT_OPTIONS="-m brackets"
 
+# Everyone most likely wants ARM
+: ${L4V_ARCH:="ARM"}
+
 # Heap input locations. We have a unique set of heap files for each copy of
 # Isabelle the user has checked out, so that users can have multiple sessions
 # running at the same time without too many problems.