From d8c63be4beed741fb1c60ecc71058b91c55dddc6 Mon Sep 17 00:00:00 2001
From: fouzhe <862006904@qq.com>
Date: Mon, 31 Aug 2020 12:17:59 +0800
Subject: [PATCH] FIX: build failure of eigen (#4390)

---
 projects/eigen/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/eigen/Dockerfile b/projects/eigen/Dockerfile
index f44dbfa6a..59f9c6550 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/