mirrors/netsurf
1
0
Fork 0
mirror of https://github.com/netsurf-browser/netsurf synced 2024-12-19 10:42:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

remove javascript build option from jenkins script

Browse Source
This commit is contained in:
Vincent Sanders 2016-01-25 16:10:42 +00:00
parent 6d63f7959a
commit 6847fad653
1 changed files with 20 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
utils/jenkins-build.sh
View File

@ -30,7 +30,6 @@
# TARGET is set to the frontend target to build # TARGET is set to the frontend target to build
# HOST is set to the identifier of the toolchain doing the building # HOST is set to the identifier of the toolchain doing the building
# CC is the compiler (gcc or clang) # CC is the compiler (gcc or clang)
# BUILD_JS is the javascript type (json or jsoff)
# BUILD_NUMBER is the CI build number # BUILD_NUMBER is the CI build number
##### #####
@ -346,7 +345,6 @@ if [ "${CC}" = "clang" ];then
fi fi
# convert javascript parameters # convert javascript parameters
if [ "${BUILD_JS}" = "json" ];then
case ${HOST} in case ${HOST} in
"arm-unknown-riscos") "arm-unknown-riscos")
BUILD_MOZJS=NO BUILD_MOZJS=NO
@ -371,12 +369,6 @@ if [ "${BUILD_JS}" = "json" ];then
esac esac
else
BUILD_JS=NO
BUILD_MOZJS=NO
BUILD_DUKTAPE=NO
fi
########### Use distcc if present ###### ########### Use distcc if present ######
DISTCC=distcc DISTCC=distcc