From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 30 Jan 2020 22:14:37 +0000 (+0100)
Subject: bummer
X-Git-Tag: v3.25~37
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/693200bbf33be03e896efbd65df7ae7e53a2c592

bummer
---

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index 9d35d4afe8..1d0b904788 100755
--- a/tools/jenkins/Flags.sh
+++ b/tools/jenkins/Flags.sh
@@ -72,7 +72,7 @@ else
   builddebug="OFF"
 fi
 
-if [ $4 = "MSG" ]
+if [ $5 = "MSG" ]
 then
   buildmsg="ON"
 else