From 49b31345bb518574377974a6dd953f51e409fff7 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 16 Feb 2018 07:57:23 +0100
Subject: [PATCH] woops, bash typo

And cleanup before installation
---
 tools/jenkins/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index f7ad69511f..ad92d46329 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -150,11 +150,12 @@ if [ -f Testing/TAG ] ; then
    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"
 
+  rm -rf /builds/simgrid_install
   make install
 fi
 
-- 
2.20.1