X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/74c54d770c8a3c775a801b64fdaa5b84843798c0..acdf2896767110434ab9535eee0abb06c42b7cd3:/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 \