Update setdevkitpath.sh

This commit is contained in:
Adam Tunnic 2022-01-09 01:29:34 -05:00 committed by GitHub
parent 13506dd84a
commit 6178b816f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,12 +26,6 @@ then
then
export JVM_VARIANTS=client
fi
elif [ "$BUILD_IOS" == "1" ]; then
echo "VM variant: server,zero"
if [ -z "$JVM_VARIANTS" ]
then
export JVM_VARIANTS="serverANDzero"
fi
else
echo "VM variant: server"
if [ -z "$JVM_VARIANTS" ]