From 43f60833a4ca8a3f8de1befbe21c8d1fa687c94b Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 12 Feb 2018 17:44:26 +0100
Subject: [PATCH] jenkins: install everything after testing

---
 tools/jenkins/build.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index f5b07f2928..7e6e5829d5 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -120,6 +120,7 @@ echo "XX Configure and build SimGrid"
 echo "XX   pwd: "$(pwd)
 echo "XX"
 cmake -G"$GENERATOR"\
+  -DCMAKE_INSTALL_PREFIX=/builds/simgrid_install \
   -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
   -Denable_model-checking=$(onoff test "$build_mode" = "ModelChecker") \
   -Denable_smpi_ISP_testsuite=$(onoff test "$build_mode" = "ModelChecker") \
@@ -149,6 +150,14 @@ if [ -f Testing/TAG ] ; then
    mv CTestResults.xml $WORKSPACE
 fi
 
+if test "$(uname -o)" != "Msys"; then
+  echo "XX"
+  echo "XX Test done. Install everything since it's not a Windows build."
+  echo "XX"
+
+  make install
+fi
+
 echo "XX"
 echo "XX Done. Return the results to cmake"
 echo "XX"
-- 
2.20.1