diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-16 14:57:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-10-09 14:13:10 +0200 |
| commit | 4f38ff29bea9c481a5ae99047a81b07a5cd8dec9 (patch) | |
| tree | 7a65821d7a8e982cc971a1282f10413441130c3c | |
| parent | 9a8fcdcf4546340b826703f2a90b4722e50e3ffe (diff) | |
| download | devtools32-4f38ff29bea9c481a5ae99047a81b07a5cd8dec9.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 eea1f6c..a87bc7d 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 |