From ad6f2a47577b86d5c0cfc782daa107605c84b3ea 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