From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 31 Jan 2020 09:28:38 +0000 (+0100)
Subject: Please codefactor.io/ShellCheck.
X-Git-Tag: v3.25~25
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/720a0e4d7fd0be4eb53659c84e5431836a5898b4?hp=b6e6efa51394b23d6780f090374930b473c2ac52

Please codefactor.io/ShellCheck.
---

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index 1d0b904788..06c5667903 100755
--- a/tools/jenkins/Flags.sh
+++ b/tools/jenkins/Flags.sh
@@ -2,7 +2,7 @@
 
 set -e
 
-echo "Starting Flags.sh $@" 
+echo "Starting Flags.sh $*"
 
 die() {
     echo "$@"
@@ -79,7 +79,7 @@ else
   buildmsg="OFF"
 fi
 
-if [ $buildmsg = "OFF" -a $buildjava = "ON" ] 
+if [ $buildmsg = "OFF" ] && [ $buildjava = "ON" ]
 then
   echo "Don't even try to build Java without MSG"
   exit 0