diff options
Diffstat (limited to 'jjb/common')
| -rw-r--r-- | jjb/common/include-agl-header.sh | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/jjb/common/include-agl-header.sh b/jjb/common/include-agl-header.sh index f925f569..b11dd04c 100644 --- a/jjb/common/include-agl-header.sh +++ b/jjb/common/include-agl-header.sh @@ -167,14 +167,11 @@ if test x"h3ulcb-nogfx" = x"$MACHINE"; then fi set +x -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 test x"raspberrypi4" = x"${MACHINE}" -a x"koi" = x"${TARGETBRANCH}" ; then +if test x"raspberrypi4" = x"${MACHINE}" ; then export TARGETMACHINE="raspberrypi4-64" + if test x"halibut" = x"${TARGETBRANCH}" ; then + export TARGETMACHINE="raspberrypi4" + fi fi #if $DEBUG; then |