diff options
-rwxr-xr-x | utils/jenkins-build.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index b6ca21dd7..3e6562774 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -135,6 +135,9 @@ case ${TARGET} in "ppc-amigaos") ;; + "m68k-unknown-amigaos") + ;; + *) echo "Target \"${TARGET}\" cannot be built on \"${HOST})\"" exit 1 @@ -291,6 +294,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 |