X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6f51212335bdb67565022664a4b92e38a125f6c7..43f60833a4ca8a3f8de1befbe21c8d1fa687c94b:/tools/jenkins/build.sh

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 70bd8207ec..7e6e5829d5 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
 
 # This script is used by various build projects on Jenkins
 
@@ -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"