diff options
author | Vincent Sanders <vince@netsurf-browser.org> | 2013-09-03 16:07:57 +0100 |
---|---|---|
committer | Vincent Sanders <vince@netsurf-browser.org> | 2013-09-03 16:07:57 +0100 |
commit | b9c2b5df6540ef19c522bafb40086d67121ba50a (patch) | |
tree | 2b0b223f0100b0a7ab3c6509e8aa2b1126ee1f5d | |
parent | 9a59103c6a83225b50e98651c1b377d535b808c8 (diff) | |
download | netsurf-b9c2b5df6540ef19c522bafb40086d67121ba50a.tar.gz netsurf-b9c2b5df6540ef19c522bafb40086d67121ba50a.tar.bz2 |
make js library selection target dependant
-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 |