changeset 6432:e188d774fbc9

Turn ARM32 JIT on by default
author andrew
date Fri, 21 Mar 2014 17:48:59 +0000
parents f2d9cd7125ee
children 624af7638fc2
files make/jdk_generic_profile.sh
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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
+