Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Please codefactor.io/ShellCheck.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 31 Jan 2020 09:28:38 +0000 (10:28 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 31 Jan 2020 09:28:38 +0000 (10:28 +0100)
tools/jenkins/Flags.sh

index 1d0b904..06c5667 100755 (executable)
@@ -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