diff options
Diffstat (limited to 'utils/jenkins-build.sh')
| -rwxr-xr-x | utils/jenkins-build.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index b6ca21dd7..6fd6a777a 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -147,6 +147,23 @@ case ${TARGET} in ;; + "amigaos3") + case ${HOST} in + "m68k-unknown-amigaos") + ;; + + *) + echo "Target \"${TARGET}\" cannot be built on \"${HOST})\"" + exit 1 + ;; + + esac + + PKG_SRC=NetSurf_Amiga/netsurf + PKG_SFX=.lha + ;; + + "atari") case ${HOST} in "m68k-atari-mint") @@ -291,6 +308,11 @@ case ${TARGET} in export GCCSDK_INSTALL_CROSSBIN=/opt/netsurf/${HOST}/cross/bin ;; + "m68k-unknown-amigaos") + export GCCSDK_INSTALL_ENV=/opt/netsurf/${HOST}/env + export GCCSDK_INSTALL_CROSSBIN=/opt/netsurf/${HOST}/cross/bin + ;; + *) echo "Target \"${TARGET}\" cannot be built on \"${HOST})\"" exit 1 |