diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-18 13:12:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-04-08 08:45:48 +0200 |
| commit | 339c125076272ea1dcb940224a008b59b041d399 (patch) | |
| tree | d4c32531fb2048e3a35e27bc00f42d5603f1b978 /archbuild.in | |
| parent | f233cd903c0065524c20741f33293091fd2dd7e8 (diff) | |
| download | devtools32-339c125076272ea1dcb940224a008b59b041d399.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 |