summaryrefslogtreecommitdiff
path: root/utils/jenkins-build.sh
diff options
context:
space:
mode:
Diffstat (limited to 'utils/jenkins-build.sh')
-rwxr-xr-xutils/jenkins-build.sh10
1 files changed, 8 insertions, 2 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh
index 7a590f426..a4aea948b 100755
--- a/utils/jenkins-build.sh
+++ b/utils/jenkins-build.sh
@@ -325,11 +325,17 @@ fi
# convert javascript parameters
if [ "${BUILD_JS}" = "json" ];then
- case ${TARGET} in
- "riscos")
+ case ${label} in
+ "arm-unknown-riscos")
BUILD_MOZJS=NO
BUILD_JS=YES
;;
+
+ "amd64-unknown-openbsd5.4")
+ BUILD_MOZJS=NO
+ BUILD_JS=YES
+ ;;
+
*)
BUILD_MOZJS=YES
BUILD_JS=NO