jenkins : expand OS list with NS3, as I just installed ns3 3.32 on nixos

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index fa0f683..73a3759 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"
 cd "$WORKSPACE"/build
 
 have_NS3="no"

-if dpkg -l libns3-dev 2>&1|grep -q "ii  libns3-dev" ; then
+if [ "$os" == "Debian" ] || [ "$os" == "Ubuntu" ] || [ "$os" == "NixOS" ] ; then 

   have_NS3="yes"
 fi
 echo "XX have_NS3: ${have_NS3}"
   have_NS3="yes"
 fi
 echo "XX have_NS3: ${have_NS3}"