diff options
| author | ruki <[email protected]> | 2023-02-10 22:32:01 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2023-02-10 22:32:01 +0800 |
| commit | f21ed7166f111fa8d74b574352d1cd590f212cca (patch) | |
| tree | 1cebdebd6df23a28f472bd077e0c7674a4008421 | |
| parent | 9d48915772f674b0f8652d4fbc110584c11b212d (diff) | |
improve configure
| -rwxr-xr-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |
