diff --git a/travis/build.sh b/travis/build.sh index d01d67690..b96e3df0f 100755 --- a/travis/build.sh +++ b/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