diff options
author | Fredrik Gustafsson <[email protected]> | 2013-05-30 17:20:34 +0200 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2013-05-30 17:20:34 +0200 |
commit | 3b82ee998a5057ef01f722f5d0868b15999d9dd7 (patch) | |
tree | 413662c7bbb65953416cc1775f84a691abe818a8 | |
parent | bedb203fc337ae588e329f058f5ba6ec250f25e6 (diff) | |
parent | a218171426a8bc02e20bb9d98a4d30691c8546e0 (diff) | |
download | otp-3b82ee998a5057ef01f722f5d0868b15999d9dd7.tar.gz otp-3b82ee998a5057ef01f722f5d0868b15999d9dd7.tar.bz2 otp-3b82ee998a5057ef01f722f5d0868b15999d9dd7.zip |
Merge branch 'maint'
-rw-r--r-- | erts/configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/configure.in b/erts/configure.in index b9c9a76ef6..c47c211c4e 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -624,6 +624,7 @@ case $chk_arch_ in armv5teb) ARCH=arm;; armv5tel) ARCH=arm;; armv5tejl) ARCH=arm;; + armv6l) ARCH=arm;; armv7l) ARCH=arm;; tile) ARCH=tile;; *) ARCH=noarch;; |