Missing ']'

[ci-skip]

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index 1dfb5d4..ea84301 100755 (executable)
--- a/tools/jenkins/Flags.sh
+++ b/tools/jenkins/Flags.sh
@@ -67,7 +67,7 @@ fi
 
 echo "Step ${STEP}/${NSTEPS} - Building with debug=${builddebug}, SMPI=${buildsmpi}, MC=${buildmc}"
 
 
 echo "Step ${STEP}/${NSTEPS} - Building with debug=${builddebug}, SMPI=${buildsmpi}, MC=${buildmc}"
 

-if [ "${builddebug}/${buildsmpi}/${buildmc}" = "ON/ON/ON"; then
+if [ "${builddebug}/${buildsmpi}/${buildmc}" = "ON/ON/ON" ]; then

     # ${buildmc}=ON because "why not", and especially because it doesn't
     # compile with -D_GLIBCXX_DEBUG and -Denable_ns3=ON together
     export CXXFLAGS=-D_GLIBCXX_DEBUG
     # ${buildmc}=ON because "why not", and especially because it doesn't
     # compile with -D_GLIBCXX_DEBUG and -Denable_ns3=ON together
     export CXXFLAGS=-D_GLIBCXX_DEBUG