X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f2997944df00f705042317b8b65e39406e0310a2..0eea8359e77474a2aec1f551accd4c83e3d0980b:/tools/jenkins/build.sh

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 \