diff options
Diffstat (limited to 'projects/eigen/Dockerfile')
-rw-r--r-- | projects/eigen/Dockerfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/projects/eigen/Dockerfile b/projects/eigen/Dockerfile index 02008be7e..f44dbfa6a 100644 --- a/projects/eigen/Dockerfile +++ b/projects/eigen/Dockerfile @@ -15,7 +15,6 @@ ################################################################################ FROM gcr.io/oss-fuzz-base/base-builder -MAINTAINER eigen-core-team@lists.tuxfamily.org RUN apt-get update && apt-get install --yes cmake mercurial RUN hg clone https://GOOGLE-AUTOFUZZ@bitbucket.org/eigen/eigen WORKDIR eigen |