diff options
author | Vitaly Buka <vitalybuka@gmail.com> | 2018-08-23 22:48:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-23 22:48:07 -0700 |
commit | c5bb59e2451b7ccb0da1037154ccf00ccc44b28c (patch) | |
tree | d1b9e0e64ef2b1f1bf101980a03c54644d249a3a /projects/libxml2 | |
parent | 23a04ab280a757ce060ccc53a2cf8a8bac10c6f1 (diff) |
Fix libxml URL
Diffstat (limited to 'projects/libxml2')
-rw-r--r-- | projects/libxml2/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/libxml2/Dockerfile b/projects/libxml2/Dockerfile index a944be78..3f144d2a 100644 --- a/projects/libxml2/Dockerfile +++ b/projects/libxml2/Dockerfile @@ -18,7 +18,7 @@ FROM gcr.io/oss-fuzz-base/base-builder MAINTAINER ochang@chromium.org RUN apt-get update && apt-get install -y make autoconf automake libtool pkg-config -RUN git clone --depth 1 git://git.gnome.org/libxml2 +RUN git clone --depth 1 https://gitlab.gnome.org/GNOME/libxml2.git WORKDIR libxml2 COPY build.sh $SRC/ |