Browse Source

Travis: install correct package for dot

tempestpy_adaptions
Matthias Volk 6 years ago
parent
commit
49570eb92d
  1. 2
      travis/build.sh

2
travis/build.sh

@ -40,7 +40,7 @@ linux)
# Install doxygen if necessary
if [[ "$TASK" == *Doxygen* ]]
then
docker exec storm apt-get install -qq -y doxygen dot
docker exec storm apt-get install -qq -y doxygen graphviz
fi
# Copy local content into container
docker exec storm mkdir /opt/storm

Loading…
Cancel
Save