diff --git a/travis/build.sh b/travis/build.sh index 4f7d1c17d..e649f5a74 100755 --- a/travis/build.sh +++ b/travis/build.sh @@ -29,7 +29,7 @@ linux) set -e docker run -d -it --name storm --privileged mvolk/storm-basesystem:$LINUX # Install dependencies - docker exec storm apt-get install -qq -y libeigen-dev + docker exec storm apt-get install -qq -y libeigen3-dev # Copy local content into container docker exec storm mkdir storm docker cp . storm:/storm