wget more noisily

This commit is contained in:
2019-12-12 07:05:43 +00:00
parent 668ba89b79
commit 508966d0da

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 -qO- https://files.lan/gcc-arm-none-eabi-8-2019-q3-update-linux.tar.bz2 | tar -xj wget -O- https://files.lan/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"