diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-18 13:12:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-09-13 09:22:11 +0200 |
| commit | e36d82553d1eff7fc3867dec7de292b16a5ee97b (patch) | |
| tree | 410c46f28db92ccb0bbd46aed5aa9f103c6095e8 /archbuild.in | |
| parent | f95ab26af658b34640bcf02e91d8bf9046afd076 (diff) | |
| download | devtools32-e36d82553d1eff7fc3867dec7de292b16a5ee97b.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 042cbdc..9dbc1d5 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 |