diff options
-rwxr-xr-x | utils/jenkins-build.sh | 10 |
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 |