protect against failed get

[simgrid.git] / tools / jenkins / Flags.sh

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index 62d76e3..40ac301 100755 (executable)
--- a/tools/jenkins/Flags.sh
+++ b/tools/jenkins/Flags.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
 
 set -e
 
@@ -34,7 +34,7 @@ onoff() {
   fi
 }
 
-### Cleanup previous runs
+### Cleanup previous runs
 
 ! [ -z "$WORKSPACE" ] || die "No WORKSPACE"
 [ -d "$WORKSPACE" ] || die "WORKSPACE ($WORKSPACE) does not exist"
@@ -53,35 +53,35 @@ cd $WORKSPACE/build
 #we can't just receive ON or OFF as values as display is bad in the resulting jenkins matrix
 
 if [ $1 = "JAVA" ]
-then 
+then
   buildjava="ON"
 else
   buildjava="OFF"
 fi
 
 if [ $2 = "MC" ]
-then 
+then
   buildmc="ON"
 else
   buildmc="OFF"
 fi
 
 if [ $3 = "SMPI" ]
-then 
+then
   buildsmpi="ON"
 else
   buildsmpi="OFF"
 fi
 
 if [ $4 = "DEBUG" ]
-then 
+then
   builddebug="ON"
 else
   builddebug="OFF"
 fi
 
 
-echo "Step ${STEP}/${NSTEPS} - Building with java=${buildjava}, debug=${builddebug}, SMPI=${buildsmpi}, MC=${buildmc}" 
+echo "Step ${STEP}/${NSTEPS} - Building with java=${buildjava}, debug=${builddebug}, SMPI=${buildsmpi}, MC=${buildmc}"
 cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=${buildjava} \
       -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
       -Denable_jedule=ON -Denable_mallocators=ON -Denable_debug=${builddebug} \