diff --git a/Makefile b/Makefile index 8121b28..6b49f9e 100644 --- a/Makefile +++ b/Makefile @@ -32,8 +32,7 @@ build-docker-riscv-tests: docker build -f Dockerfile.riscv-tests -t riscv-tests . fetch-riscv-tests-isa: build-docker-riscv-tests - @rm -r riscv-tests-isa - @mkdir riscv-tests-isa + @rm -rf isa @docker rm -f dummy docker create --name dummy riscv-tests docker cp dummy:/riscv-tests/isa .