From c94f3c7ae0de87e3324f5ff01800ec34c830d4de Mon Sep 17 00:00:00 2001
From: Tiger Wang <ziwei.tiger@outlook.com>
Date: Mon, 13 Jul 2020 12:35:38 +0100
Subject: Jenkins crosscompile

---
 jenkinsbuild.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'jenkinsbuild.sh')

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
 
 
-- 
cgit v1.2.3