From 50ff9b1b8b809bc20c9320310b19f0a294bba055 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 19 Apr 2018 21:39:44 +0200 Subject: [PATCH 1/1] jenkins: make sure that we don't modify the source tree when doing out of tree builds --- tools/jenkins/build.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index 7f98d0f7fb..26adde8a0d 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -141,7 +141,8 @@ cmake -G"$GENERATOR" $INSTALL \ -Denable_memcheck=$(onoff test "$build_mode" = "DynamicAnalysis") \ -Denable_compile_warnings=$(onoff test "$GENERATOR" != "MSYS Makefiles") -Denable_smpi=ON \ -Denable_ns3=$(onoff test "$have_NS3" = "yes" -a "$build_mode" = "Debug") \ - -Denable_jedule=OFF -Denable_java=ON -Denable_lua=OFF $SRCFOLDER + -Denable_jedule=OFF -Denable_java=ON -Denable_lua=OFF -DCMAKE_DISABLE_SOURCE_CHANGES=ON \ + $SRCFOLDER # -Denable_lua=$(onoff test "$build_mode" != "DynamicAnalysis") \ set +x -- 2.20.1