diff options
-rwxr-xr-x | utils/jenkins-build.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index 9e6f0d273..084069f31 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -167,8 +167,12 @@ case ${TARGET} in ARTIFACT_TARGET=Linux ;; + "amd64-unknown-openbsd5.4") + ARTIFACT_TARGET=OpenBSD + ;; + *) - echo "Target \"${TARGET}\" cannot be built on \"${label})\"" + echo "Target \"${TARGET}\" cannot be built on \"${label}\"" exit 1 ;; |