From ed512c3220402e03212deebf4a1982e4290985fb Mon Sep 17 00:00:00 2001 From: Gianmaria Del Monte Date: Fri, 6 Oct 2023 11:53:20 +0200 Subject: [PATCH] fix clean --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index f0c9455a48..203f132881 100644 --- a/Makefile +++ b/Makefile @@ -135,7 +135,6 @@ toolchain-clean: .PHONY: docker-clean docker-clean: docker compose -f ./tests/docker/docker-compose.yml down --rmi local -v --remove-orphans - docker rmi $(REVAD_IMAGE) .PHONY: clean clean: toolchain-clean docker-clean