diff --git a/setdevkitpath.sh b/setdevkitpath.sh index 24ff711..fae0c2c 100644 --- a/setdevkitpath.sh +++ b/setdevkitpath.sh @@ -19,13 +19,15 @@ else export TARGET_SHORT=$TARGET_JDK fi -if [ "$TARGET_JDK" == "aarch32" ] +if [ "$TARGET_JDK" == "aarch32" ] || [ "$TARGET_JDK" == "arm" ] then + echo "VM variant: client" if [ -z "$JVM_VARIANTS"] then export JVM_VARIANTS=client fi else + echo "VM variant: server" if [ -z "$JVM_VARIANTS"] then export JVM_VARIANTS=server