jenkins: install everything after testing

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index f5b07f2..7e6e582 100755 (executable)
--- 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"