summaryrefslogtreecommitdiffstats
path: root/jenkinsbuild.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xjenkinsbuild.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinsbuild.sh b/jenkinsbuild.sh
index 56ce83802..098bd68b9 100755
--- a/jenkinsbuild.sh
+++ b/jenkinsbuild.sh
@@ -63,7 +63,7 @@ then
fi
# Build
-CXX=$CXXCOMP CC=$CCOMP cmake . -DNO_NATIVE_OPTIMIZATION=1 -DBUILD_TOOLS=1 ${CACHE_ARGS} ${TOOLCHAINFILE} ${COMPILEMODE} ${FORCE32}
+CXX=$CXXCOMP CC=$CCOMP cmake . -DNO_NATIVE_OPTIMIZATION=1 ${CACHE_ARGS} ${TOOLCHAINFILE} ${COMPILEMODE} ${FORCE32}
make -j 2