From 39bb40f189bbf2a90b13a54bbd7488ef3579e737 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?M=C3=A0rius=20Mont=C3=B3n?= Date: Fri, 15 Jan 2021 10:14:49 +0100 Subject: [PATCH] Fix create directory --- Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index f369611..3eba873 100644 --- a/Dockerfile +++ b/Dockerfile @@ -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 \ && git config --global http.sslVerify false \ && git clone https://github.com/mariusmm/RISC-V-TLM.git \