From 6d05b016d33cb40bf26ccaae19f54313213c02cc Mon Sep 17 00:00:00 2001 From: Lars Kruse Date: Sun, 9 Feb 2020 02:08:24 +0100 Subject: [PATCH] Makefile: really ignore excluded directory names --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f84fd51..f5629f3 100644 --- a/Makefile +++ b/Makefile @@ -88,7 +88,7 @@ lint: .PHONY: spelling spelling: - find -name .git -prune -or -name $(DIST_DIR) -prune -or -type f | xargs codespell + @find -name .git -prune -or -name $(DIST_DIR) -prune -or -type f -print | xargs codespell .PHONY: test test: $(TARGET_FILE)