diff options
Diffstat (limited to 'utils/jenkins-build.sh')
| -rwxr-xr-x | utils/jenkins-build.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index a4aea948b..861f1f091 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -72,6 +72,23 @@ case ${TARGET} in PKG_SFX=.zip ;; + "beos") + case ${label} in + "i586-pc-haiku") + ARTIFACT_TARGET=Haiku + ;; + + *) + echo "Target \"${TARGET}\" cannot be built on \"${label})\"" + exit 1 + ;; + + esac + + PKG_SRC=Netsurf + PKG_SFX= + ;; + "windows") case ${label} in |