From b1dab7360ee9104e1c81d2010369bb2075811eb7 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 13 May 2020 15:40:56 -0700
Subject: Add lint target to Makefile

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index dc82967..6f8f22e 100644
--- a/Makefile
+++ b/Makefile
@@ -93,8 +93,10 @@ libFuzzer:
 	test/run-cmark-fuzz $(CMARK_FUZZ)
 
 lint: $(BUILDDIR)
+	errs=0 ; \
 	for f in `ls src/*.[ch] | grep -v "scanners.c"` ; \
-	  do echo $$f ; clang-tidy -header-filter='^build/.*' -p=build -warnings-as-errors='*' $$f || exit 1 ; done
+	  do echo $$f ; clang-tidy -header-filter='^build/.*' -p=build -warnings-as-errors='*' $$f || errs=1 ; done ; \
+	exit $$errs
 
 mingw:
 	mkdir -p $(MINGW_BUILDDIR); \
-- 
cgit v1.2.3