ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix dockerfile typo

pull/15339/head
Jamie Smith 2022-05-08 11:17:10 -07:00 committed by Jay Sridharan
parent 31d8558d8c
commit 8b4ec037d5
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
docker_images/mbed-os-env/Dockerfile
View File

@ -51,7 +51,7 @@ RUN set -x \
COPY tools/requirements-ci-build.txt . COPY tools/requirements-ci-build.txt .
RUN set -x \ RUN set -x \
&& pip3 install -r requirements.txt \ && pip3 install -r requirements-ci-build.txt \
&& : # last line && : # last line
@ -60,7 +60,6 @@ RUN set -x \
RUN set -x \ RUN set -x \
&& pip3 install -U \ && pip3 install -U \
mbed-cli \ mbed-cli \
mbed-tools \
&& : # last line && : # last line
# ------------------------------------------------------------------------------ # ------------------------------------------------------------------------------