Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[jenkins] Fix jenkins
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 27 Jul 2015 13:36:12 +0000 (15:36 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 27 Jul 2015 13:36:12 +0000 (15:36 +0200)
buildtools/jenkins/build.sh

index 9789271..1e440f5 100755 (executable)
@@ -6,7 +6,7 @@ build_mode="$1"
 
 echo "Build mode $build_mode on $(uname -np)" >&2
 
 
 echo "Build mode $build_mode on $(uname -np)" >&2
 
-if test "$(uname -o)" = "Msys";
+if test "$(uname -o)" = "Msys"; then
   if [ -z "$NUMBER_OF_PROCESSORS" ]; then
     NUMBER_OF_PROCESSORS=1
   fi
   if [ -z "$NUMBER_OF_PROCESSORS" ]; then
     NUMBER_OF_PROCESSORS=1
   fi