From b625a4e1fdcde449f1267e73c0bcbadd1cb0c501 Mon Sep 17 00:00:00 2001
From: Kai Lueke <kailuke@microsoft.com>
Date: Tue, 15 Mar 2022 14:12:17 +0100
Subject: [PATCH] jenkins/images.sh: use correct board for comparison

The output always was about amd64 because the board was not set.
Pass the board along.
---
 jenkins/images.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/jenkins/images.sh b/jenkins/images.sh
index c651fb1b4c..d972b5dbba 100755
--- a/jenkins/images.sh
+++ b/jenkins/images.sh
@@ -133,6 +133,8 @@ set +x
 set +e
 echo "==================================================================="
 echo
+export BOARD_A="${BOARD}"
+export BOARD_B="${BOARD}"
 if [ "${GROUP}" != "developer" ]; then
   export CHANNEL_A="${GROUP}"
 else