From fa8b26b2bf989d35681c43bec29dbbc13495fcda Mon Sep 17 00:00:00 2001 From: Duy Tran Khanh <40482367+khanhduytran0@users.noreply.github.com> Date: Sun, 21 Nov 2021 19:43:27 +0700 Subject: [PATCH] Try building server variant for armv7 --- setdevkitpath.sh | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/setdevkitpath.sh b/setdevkitpath.sh index 21e41ac..4245ded 100755 --- a/setdevkitpath.sh +++ b/setdevkitpath.sh @@ -19,19 +19,9 @@ else export TARGET_SHORT=$TARGET_JDK fi -if [ "$TARGET_JDK" == "aarch32" ] || [ "$TARGET_JDK" == "arm" ] +if [ -z "$JVM_VARIANTS" ] 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 - fi + export JVM_VARIANTS=server fi if [ "$BUILD_IOS" == "1" ]; then