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") \
mv CTestResults.xml $WORKSPACE
fi
+if test "$(uname -o)" != "Msys" -a "$(build_mode)" = "Debug" ; then
+ echo "XX"
+ echo "XX Test done. Install everything since it's a regular build + not on a Windows."
+ echo "XX"
+
+ make install
+fi
+
echo "XX"
echo "XX Done. Return the results to cmake"
echo "XX"