diff options
author | 2020-08-31 12:17:59 +0800 | |
---|---|---|
committer | 2020-08-30 21:17:59 -0700 | |
commit | d8c63be4beed741fb1c60ecc71058b91c55dddc6 (patch) | |
tree | b1419f8ebff3bc9f92c39bb47e56e8d493bb19cc | |
parent | 740536e25e3fad2fb897d77f1d8c5981eb50e587 (diff) |
FIX: build failure of eigen (#4390)
-rw-r--r-- | projects/eigen/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/eigen/Dockerfile b/projects/eigen/Dockerfile index f44dbfa6..59f9c655 100644 --- a/projects/eigen/Dockerfile +++ b/projects/eigen/Dockerfile @@ -16,6 +16,6 @@ FROM gcr.io/oss-fuzz-base/base-builder RUN apt-get update && apt-get install --yes cmake mercurial -RUN hg clone https://GOOGLE-AUTOFUZZ@bitbucket.org/eigen/eigen +RUN git clone https://gitlab.com/libeigen/eigen.git WORKDIR eigen COPY build.sh *.cc $SRC/ |