# HG changeset patch
# User andrew
# Date 1395424139 0
# Node ID e188d774fbc998b889bd6879b4568311fe00e9a8
# Parent  f2d9cd7125ee1375ca8500598c08bf0233877b4b
Turn ARM32 JIT on by default

diff -r f2d9cd7125ee -r e188d774fbc9 make/jdk_generic_profile.sh
--- a/make/jdk_generic_profile.sh	Fri Nov 08 13:50:04 2013 -0800
+++ b/make/jdk_generic_profile.sh	Fri Mar 21 17:48:59 2014 +0000
@@ -469,3 +469,7 @@
 export USE_SYSTEM_PNG=true
 export USE_SYSTEM_GIF=true
 export SYSTEM_KRB5=true
+
+# IcedTea default; turn on the ARM32 JIT
+export ARM32JIT=true
+