A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
jenkins : expand OS list with NS3, as I just installed ns3 3.32 on nixos
[simgrid.git]
/
tools
/
jenkins
/
build.sh
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"
-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}"