diff options
| -rw-r--r-- | erts/configure.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/erts/configure.in b/erts/configure.in index 04303da4f8..342fab4f7e 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -680,8 +680,10 @@ case $chk_arch_ in armv5teb) ARCH=arm;; armv5tel) ARCH=arm;; armv5tejl) ARCH=arm;; - armv6l) ARCH=arm;; + armv6l) ARCH=arm;; + armv6hl) ARCH=arm;; armv7l) ARCH=arm;; + armv7hl) ARCH=arm;; tile) ARCH=tile;; *) ARCH=noarch;; esac |