From 1e2cc382d6eefdc91a296d134403263f63ccff65 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 5 Mar 2023 22:48:50 +0100
Subject: [PATCH] Missing ']'

[ci-skip]
---
 tools/jenkins/Flags.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index 1dfb5d44bd..ea84301b4f 100755
--- 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}"
 
-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
-- 
2.20.1