diff options
Diffstat (limited to 'utils/jenkins-build.sh')
-rwxr-xr-x | utils/jenkins-build.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index 3e6562774..6fd6a777a 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -135,6 +135,20 @@ case ${TARGET} in "ppc-amigaos") ;; + *) + echo "Target \"${TARGET}\" cannot be built on \"${HOST})\"" + exit 1 + ;; + + esac + + PKG_SRC=NetSurf_Amiga/netsurf + PKG_SFX=.lha + ;; + + + "amigaos3") + case ${HOST} in "m68k-unknown-amigaos") ;; |