Update the destination folder name of the rpi4

We use the 64bit variant, thus the output folder will be tmp/deploy/images/raspberrypi4-64/ .

Change-Id: I90de9094050b7dbf874f6fa0ccfd0df3ab3eb271
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>

diff --git a/jjb/common/include-agl-header.sh b/jjb/common/include-agl-header.sh
index 6e11883..02e9cb9 100644 (file)
--- a/jjb/common/include-agl-header.sh
+++ b/jjb/common/include-agl-header.sh
@@ -159,6 +159,13 @@ if test x"h3ulcb-nogfx" = x"$MACHINE"; then
     export TARGETSDKIMAGE="agl-image-ivi-crosssdk"
 fi
 
+if test x"raspberrypi4" = x"${MACHINE}" -a x"master" = x"${TARGETBRANCH}" ; then
+    export TARGETMACHINE="raspberrypi4-64"
+fi
+if test x"raspberrypi4" = x"${MACHINE}" -a x"jellyfish" = x"${TARGETBRANCH}" ; then
+    export TARGETMACHINE="raspberrypi4-64"
+fi
+
 #if $DEBUG; then
 set | grep ^TARGET || true
 set | grep ^GERRIT || true