From 67f898bbec05a57a30dcbab89dc37e7c624f5771 Mon Sep 17 00:00:00 2001 From: Proddy Date: Fri, 17 Jun 2022 11:28:50 +0200 Subject: [PATCH] force removal of directories --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9baf49005..6f449c25c 100644 --- a/Makefile +++ b/Makefile @@ -141,7 +141,7 @@ run: $(OUTPUT) .PHONY: clean clean: - @$(RM) -r $(BUILD) $(OUTPUT) + @$(RM) -rf $(BUILD) $(OUTPUT) help: @echo available targets: all run clean