archPackagesUpdate: we can build for armv7h, too

1 files changed, 9 insertions, 3 deletions

diff --git a/archPackagesUpdate b/archPackagesUpdate
index c535e5039..5a44a735c 100755
--- a/archPackagesUpdate
+++ b/archPackagesUpdate
@@ -324,6 +324,7 @@ if ${aufRechenknecht}; then
             [ "${singleArch}" == "pentium4" ] || \
             [ "${singleArch}" == "i686" ] || \
             [ "${singleArch}" == "armv6h" ] || \
+            [ "${singleArch}" == "armv7h" ] || \
             [ "${singleArch}" == "any" ] || \
             continue
 
@@ -509,12 +510,17 @@ if ${aufRechenknecht}; then
             sendmailadvanced -t
         fi
       ;;
-      'armv6h')
-        # armv6h is built on the raspberry pi
+      'armv6h'|'armv7h')
+        # armv6h & armv7h is built on the raspberry pis
         SRCPKGDEST="${tmpDir}" makepkg -Sf
         err[${i}]=$?
         if [ ${err[${i}]} -eq 0 ]; then
-          ssh eckner.net -p 15912 "$(
+          ssh eckner.net -p $((
+            21912 - $(
+              printf '%s\n' "${arch}" \
+              | tr -d '[a-z]'
+            )*1000
+          )) "$(
             printf 'set -e\n'
             printf 'rm -rf --one-file-system build\n'
             printf 'mkdir build\n'