Set up armhf porting chroots on armel hosts

diff --git a/modules/porterbox/files/setup-all-dchroots b/modules/porterbox/files/setup-all-dchroots
index 15044f7739e8240f0af60e85498d08c787c845db..23867bb930a219c7c2362257f7ff28dd313ca0ea 100755 (executable)
--- a/modules/porterbox/files/setup-all-dchroots
+++ b/modules/porterbox/files/setup-all-dchroots
@@ -53,6 +53,11 @@ case "$DPKGARCH" in
     armhf)
         archs="$archs armel"
         ;;
+    armel)
+        if [ "$(uname -m)" = "armv7l" ] && grep -w vfpv3 -q /proc/cpuinfo ; then
+            archs="$archs armhf"
+        fi
+        ;;
     s390|s390x)
         archs="s390 s390x"
         ;;