diff options
author | Vincent Sanders <vince@kyllikki.org> | 2014-05-02 11:16:32 +0100 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2014-05-02 11:16:32 +0100 |
commit | 99c997bfc67dd56d2088fe9e61b9d6a57af5b3cf (patch) | |
tree | c69a6bf3cca755f18cb4152010e9120548e8ea08 | |
parent | c80a281ea5566f0005bf3c51d3f9e83fb5acea02 (diff) | |
download | netsurf-99c997bfc67dd56d2088fe9e61b9d6a57af5b3cf.tar.gz netsurf-99c997bfc67dd56d2088fe9e61b9d6a57af5b3cf.tar.bz2 |
adjust javascript library build parameters for openbsd
-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 |