diff --git a/build.sh b/build.sh
index dc31f3b47f47975309e46c063bee142d1cc1a14f..d9c462ca7c218a67964172fa7970a765ffea764d 100755
--- a/build.sh
+++ b/build.sh
@@ -38,8 +38,9 @@ build_for_android() {
         exit -1
     fi
 
-    PLATFORM="arm-v7a"
-#    PLATFORM="arm-v8a"
+    if [ -z "$PLATFORM" ]; then
+        PLATFORM="arm-v7a"  # Users could choose "arm-v8a" or other platforms from the command line.
+    fi
 
     if [ "${PLATFORM}" = "arm-v7a" ]; then
         ABI="armeabi-v7a with NEON"