Fix create directory

This commit is contained in:
Màrius Montón 2021-01-15 10:14:49 +01:00
parent 1e9ca5c4e3
commit 39bb40f189
1 changed files with 2 additions and 1 deletions

View File

@ -39,7 +39,8 @@ RUN ssh-keyscan github.com > /root/.ssh/known_hosts
RUN mkdir -p /usr/src/riscv64 \ RUN rm -fr /usr/src/riscv64 \
&& mkdir -p /usr/src/riscv64 \
&& cd /usr/src/riscv64 \ && cd /usr/src/riscv64 \
&& git config --global http.sslVerify false \ && git config --global http.sslVerify false \
&& git clone https://github.com/mariusmm/RISC-V-TLM.git \ && git clone https://github.com/mariusmm/RISC-V-TLM.git \