woops, bash typo

And cleanup before installation

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index f7ad695..ad92d46 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -150,11 +150,12 @@ if [ -f Testing/TAG ] ; then
    mv CTestResults.xml $WORKSPACE
 fi
 
    mv CTestResults.xml $WORKSPACE
 fi
 

-if test "$(uname -o)" != "Msys" -a "$(build_mode)" = "Debug" ; then
+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"
 
   echo "XX"
   echo "XX Test done. Install everything since it's a regular build + not on a Windows."
   echo "XX"
 

+  rm -rf /builds/simgrid_install

   make install
 fi
 
   make install
 fi