From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 15 Apr 2018 22:23:11 +0000 (+0200)
Subject: painful typo(s)
X-Git-Tag: v3.20~423
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/acdf2896767110434ab9535eee0abb06c42b7cd3

painful typo(s)
---

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 1ce50ae751..7f98d0f7fb 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -126,9 +126,9 @@ echo "XX Configure and build SimGrid"
 echo "XX   pwd: "$(pwd)
 echo "XX"
 set -x
-if [ "$build_mode" = "ModelChecker" ] ;
+if [ "$build_mode" = "ModelChecker" ] ; then
    INSTALL="-DCMAKE_INSTALL_PREFIX=/builds/mc_simgrid_install"
-elif [ "$build_mode" = "Debug" ] ;
+elif [ "$build_mode" = "Debug" ] ; then
    INSTALL="-DCMAKE_INSTALL_PREFIX=/builds/simgrid_install"
 fi
 cmake -G"$GENERATOR" $INSTALL \