Add armv7hl (hardfloat ABI) support. Beside armv7hl, there's also armv7nhl als compat...

diff --git a/src/poolarch.c b/src/poolarch.c
index 3ea4713..34a14a3 100644 (file)
--- a/src/poolarch.c
+++ b/src/poolarch.c
@@ -31,6 +31,8 @@ const char *archpolicies[] = {
   "ia64",      "ia64:i686:i586:i486:i386",
   "ppc64",     "ppc64:ppc",
   "ppc",       "ppc",
+  "armv7nhl",  "armv7nhl:armv7hl",
+  "armv7hl",   "armv7hl",
   "armv7l",    "armv7l:armv6l:armv5tejl:armv5tel:armv5l:armv4tl:armv4l:armv3l",
   "armv6l",    "armv6l:armv5tejl:armv5tel:armv5l:armv4tl:armv4l:armv3l",
   "armv5tejl", "armv5tejl:armv5tel:armv5l:armv4tl:armv4l:armv3l",