From 6d2aa1894dee267dd0813ea27927f9f604dd445a Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Thu, 10 Feb 2022 18:49:50 +0100 Subject: Update dist-armv7-linux to Ubuntu 20.04 --- src/ci/docker/host-x86_64/dist-armv7-linux/Dockerfile | 13 ------------- 1 file changed, 13 deletions(-) (limited to 'src') diff --git a/src/ci/docker/host-x86_64/dist-armv7-linux/Dockerfile b/src/ci/docker/host-x86_64/dist-armv7-linux/Dockerfile index 55ca23b293d..32e3bc22ad7 100644 --- a/src/ci/docker/host-x86_64/dist-armv7-linux/Dockerfile +++ b/src/ci/docker/host-x86_64/dist-armv7-linux/Dockerfile @@ -1,17 +1,4 @@ FROM ubuntu:20.04 -RUN apt-get update && \ - apt-get install -y --no-install-recommends \ - curl \ - ca-certificates -WORKDIR /tmp -RUN curl -f https://curl.se/ca/cacert.pem -o cacert.pem - -FROM ubuntu:16.04 - -# The ca-certificates in ubuntu-16 is too old, so update the certificates -# with something more recent. -COPY --from=0 /tmp/cacert.pem /tmp/cacert.pem -ENV CURL_CA_BUNDLE /tmp/cacert.pem COPY scripts/cross-apt-packages.sh /scripts/ RUN sh /scripts/cross-apt-packages.sh -- cgit 1.4.1-3-g733a5