From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 19 Apr 2018 19:39:44 +0000 (+0200)
Subject: jenkins: make sure that we don't modify the source tree when doing out of tree builds
X-Git-Tag: v3.20~340
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/50ff9b1b8b809bc20c9320310b19f0a294bba055?hp=84733adf13f6e36f5861ddd1953e4df97ef2be78

jenkins: make sure that we don't modify the source tree when doing out of tree builds
---

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