diff options
author | Erich Eckner <git@eckner.net> | 2019-07-16 14:57:52 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-02-23 21:00:13 +0100 |
commit | c9aa1157db89c54c01e1e08be8ec507c18725d34 (patch) | |
tree | c2087fbd2864e50ad8a4fe3ae0c651e439f5769d | |
parent | e87aa4ee31a7aa2b11a0d09a15186d7d23d20b00 (diff) | |
download | devtools32-c9aa1157db89c54c01e1e08be8ec507c18725d34.tar.xz |
archbuild.in: missed a "armv6h" -> "armv6l" mangling
-rw-r--r-- | archbuild.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/archbuild.in b/archbuild.in index cb7d1fe..529fba0 100644 --- a/archbuild.in +++ b/archbuild.in @@ -19,6 +19,8 @@ else fi if [[ "${arch}" == 'pentium4' ]]; then set_arch='i686' +elif [[ "${arch}" == 'armv6h' ]]; then + set_arch='armv6l' else set_arch="${arch}" fi |