make clean: invoke docker only when there is something to clean

This commit is contained in:
cpq committed 2023-01-21 07:44:50 +00:00
1 parent c7cb16cafa
commit 6f096333d3
3 files changed
+3 -3

No files matched your search

+1 -1
View File
@@ -41,5 +41,5 @@ monitor: build
.PHONY: build
clean:
$(DOCKER) rm -rf src/build
test -d src/build && $(DOCKER) rm -rf src/build || true