make-flight: add build-armhf job

diff --git a/make-flight b/make-flight
index 79e3453cc9a065b46da6ef9d09014396ad903745..76c3e27a1a544277c6fda90c9fd09c90686cd8c5 100755 (executable)
--- a/make-flight
+++ b/make-flight
@@ -17,10 +17,18 @@ xenrt_images=/usr/groups/images/autoinstall
 
 if [ x$buildflight = x ]; then
 
-  for arch in ${BUILD_ARCHES- i386 amd64 }; do
+  for arch in ${BUILD_ARCHES- i386 amd64 armhf }; do
 
     if [ "x$arch" = xdisable ]; then continue; fi
 
+    case "$arch" in
+    armhf)
+      case "$xenbranch" in
+      3.*|4.0|4.1|4.2) continue;;
+      esac
+      ;;
+    esac
+
     eval "
        arch_runvars=\"\$ARCH_RUNVARS_$arch\"
     "
@@ -38,6 +46,10 @@ if [ x$buildflight = x ]; then
                revision_qemu=$REVISION_QEMU                                 \
                revision_qemuu=$REVISION_QEMU_UPSTREAM
 
+    case "$arch" in
+    armhf) continue;; # don't do any kernel builds
+    esac
+
     ./cs-job-create $flight build-$arch-pvops build-kern                    \
                arch=$arch kconfighow=xen-enable-xen-config                  \
        tree_xen=$TREE_XEN                   \