diff options
| author | Arkadiusz Hiler <arkadiusz.hiler@intel.com> | 2019-07-05 10:18:37 +0300 |
|---|---|---|
| committer | Arkadiusz Hiler <arkadiusz.hiler@intel.com> | 2019-07-05 11:04:09 +0300 |
| commit | f2985a03e223679c24ae085f247a430e55229e64 (patch) | |
| tree | 5400997cca1f4d5851028860c5d8a653cbf3fd9b /Dockerfile.fedora | |
| parent | a20ce79ef02a30bfa73abb5d08a50cc739c62585 (diff) | |
Dockerfile.fedora: Download peg source from our own mirror
The original URL used http + seems to be author's own small site and is
currently down.
Instead of waiting for it to be up again just to hammer it with our CI
we can set up our own mirror for the tarball and use it.
Cc: Petri Latvala <petri.latvala@intel.com>
Cc: Simon Ser <simon.ser@intel.com>
Signed-off-by: Arkadiusz Hiler <arkadiusz.hiler@intel.com>
Reviewed-by: Simon Ser <simon.ser@intel.com>
Diffstat (limited to 'Dockerfile.fedora')
| -rw-r--r-- | Dockerfile.fedora | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Dockerfile.fedora b/Dockerfile.fedora index c84b412b..fa27a623 100644 --- a/Dockerfile.fedora +++ b/Dockerfile.fedora @@ -28,7 +28,8 @@ RUN dnf install -y \ RUN dnf install -y make RUN mkdir /tmp/peg WORKDIR /tmp/peg -RUN curl -O http://piumarta.com/software/peg/peg-0.1.18.tar.gz +# originaly from http://piumarta.com/software/peg/ +RUN curl -O https://intel-gfx-ci.01.org/mirror/peg/peg-0.1.18.tar.gz RUN tar xf peg-0.1.18.tar.gz RUN cd peg-0.1.18 && make PREFIX=/usr install RUN rm -fr /tmp/peg |