test

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 .