Makefile: really ignore excluded directory names

2020-02-09 02:08:24 +01:00 · 2020-02-09 02:08:24 +01:00 · 6d05b016d3
parent 53bc47cc13
commit 6d05b016d3
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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)