diff --git a/travis/build.sh b/travis/build.sh index 6e3094549..d01d67690 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 + docker exec storm apt-get install -qq -y doxygen dot fi # Copy local content into container docker exec storm mkdir /opt/storm