diff options
| author | Michael Drake <tlsa@netsurf-browser.org> | 2013-09-03 16:15:10 +0100 |
|---|---|---|
| committer | Michael Drake <tlsa@netsurf-browser.org> | 2013-09-03 16:15:10 +0100 |
| commit | 80e8465e917d4755fd35a168c9e9b2605b85af33 (patch) | |
| tree | 51453df1d7b6326adb61b93ff0d7598ebca749ba | |
| parent | f477fd257023c0c0a464e3cc4d5ff0bd49a5c469 (diff) | |
| parent | b9c2b5df6540ef19c522bafb40086d67121ba50a (diff) | |
| download | netsurf-80e8465e917d4755fd35a168c9e9b2605b85af33.tar.gz netsurf-80e8465e917d4755fd35a168c9e9b2605b85af33.tar.bz2 | |
Merge branch 'master' of git://git.netsurf-browser.org/netsurf
| -rwxr-xr-x | utils/jenkins-build.sh | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index ea8a52040..c4f8bd7bb 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -302,8 +302,18 @@ fi # convert javascript parameters if [ "${BUILD_JS}" = "json" ];then - BUILD_MOZJS=NO - BUILD_JS=YES + case ${TARGET} in + "riscos") + BUILD_MOZJS=NO + BUILD_JS=YES + ;; + *) + BUILD_MOZJS=YES + BUILD_JS=NO + ;; + + esac + else BUILD_JS=NO BUILD_MOZJS=NO |