16 lines
338 B
Diff
16 lines
338 B
Diff
|
diff --git a/erts/configure.in b/erts/configure.in
|
||
|
|
index 6ad1951..ce7e4ef 100644
|
||
|
|
--- a/erts/configure.in
|
||
|
|
+++ b/erts/configure.in
|
||
|
|
@@ -620,6 +620,7 @@ case $chk_arch_ in
|
||
|
|
armv5tel) ARCH=arm;;
|
||
|
|
armv5tejl) ARCH=arm;;
|
||
|
|
armv7l) ARCH=arm;;
|
||
|
|
+ armv7hl) ARCH=arm;;
|
||
|
|
tile) ARCH=tile;;
|
||
|
|
*) ARCH=noarch;;
|
||
|
|
esac
|
||
|
|
--
|
||
|
|
1.7.10
|
||
|
|
|