summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorruki <[email protected]>2023-02-10 22:32:01 +0800
committerruki <[email protected]>2023-02-10 22:32:01 +0800
commitf21ed7166f111fa8d74b574352d1cd590f212cca (patch)
tree1cebdebd6df23a28f472bd077e0c7674a4008421
parent9d48915772f674b0f8652d4fbc110584c11b212d (diff)
improve configure
-rwxr-xr-xconfigure4
1 files changed, 4 insertions, 0 deletions
diff --git a/configure b/configure
index 7550a6504..3dcfff45b 100755
--- a/configure
+++ b/configure
@@ -629,6 +629,8 @@ if test_eq "${os_arch}" "i686"; then
os_arch="i386"
elif test_eq "${os_arch}" "aarch64"; then
os_arch="arm64"
+elif string_contains "${os_arch}" "armv7"; then
+ os_arch="armv7"
fi
# set the default target platform
@@ -650,6 +652,8 @@ if test_eq "${_target_arch_default}" "i686"; then
_target_arch_default="i386"
elif test_eq "${_target_arch_default}" "aarch64"; then
_target_arch_default="arm64"
+elif string_contains "${_target_arch_default}" "armv7"; then
+ _target_arch_default="armv7"
fi
# set the default target mode