Use a single =, for POSIX conformance.

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 73a3759..43f40f4 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -145,7 +145,7 @@ mkdir "$WORKSPACE"/build
 cd "$WORKSPACE"/build
 
 have_NS3="no"
-if [ "$os" == "Debian" ] || [ "$os" == "Ubuntu" ] || [ "$os" == "NixOS" ] ; then 
+if [ "$os" = "Debian" ] || [ "$os" = "Ubuntu" ] || [ "$os" = "NixOS" ] ; then
   have_NS3="yes"
 fi
 echo "XX have_NS3: ${have_NS3}"