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 15044f7..23867bb 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"
         ;;