retry with ARM site

This commit is contained in:
2019-12-13 07:07:32 +00:00
parent 508966d0da
commit 590bec290e

View File

@@ -14,6 +14,6 @@ RUN apt update && \
RUN mkdir -p /opt/arm && \ RUN mkdir -p /opt/arm && \
cd /opt/arm && \ cd /opt/arm && \
wget -O- https://files.lan/gcc-arm-none-eabi-8-2019-q3-update-linux.tar.bz2 | tar -xj wget -O- https://developer.arm.com/-/media/Files/downloads/gnu-rm/8-2019q3/RC1.1/gcc-arm-none-eabi-8-2019-q3-update-linux.tar.bz2 | tar -xj
ENV PATH "/opt/arm/gcc-arm-none-eabi-8-2019-q3-update/bin:$PATH" ENV PATH "/opt/arm/gcc-arm-none-eabi-8-2019-q3-update/bin:$PATH"