diff options
author | Erich Eckner <git@eckner.net> | 2019-07-18 13:12:06 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-02-19 09:40:12 +0100 |
commit | ad90acc73da2a04521c288be6c731ff5b3a867a6 (patch) | |
tree | 2ca902222a14be2600d9f667b4ac4cd2bb34fd41 /archbuild.in | |
parent | 7b69f24410132f055ddb0f94aaa3b10b2a5829c8 (diff) | |
download | devtools32-ad90acc73da2a04521c288be6c731ff5b3a867a6.tar.xz |
make armv7h, too
Diffstat (limited to 'archbuild.in')
-rw-r--r-- | archbuild.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/archbuild.in b/archbuild.in index bbbd254..ef59073 100644 --- a/archbuild.in +++ b/archbuild.in @@ -21,6 +21,8 @@ if [[ "${arch}" == 'pentium4' ]]; then set_arch='i686' elif [[ "${arch}" == 'armv6h' ]]; then set_arch='armv6l' +elif [[ "${arch}" == 'armv7h' ]]; then + set_arch='armv7l' else set_arch="${arch}" fi |