X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c2575024a047482d8478f48255ad91e3b8e34785..10380d68e9effd238edffc5e69765e6f2aa95e39:/tools/jenkins/build.sh

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index fa0f68386c..73a3759317 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -145,7 +145,7 @@ mkdir "$WORKSPACE"/build
 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}"