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 /utils | |
| parent | c80a281ea5566f0005bf3c51d3f9e83fb5acea02 (diff) | |
| download | netsurf-99c997bfc67dd56d2088fe9e61b9d6a57af5b3cf.tar.gz netsurf-99c997bfc67dd56d2088fe9e61b9d6a57af5b3cf.tar.bz2 | |
adjust javascript library build parameters for openbsd
Diffstat (limited to 'utils')
| -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 |