From 18ddabfebf4028664ad84ee7eb3e7de02aa0c4a5 Mon Sep 17 00:00:00 2001 From: "Todd C. Miller" Date: Wed, 15 Aug 2018 10:02:40 -0600 Subject: [PATCH] For the lint target, don't stop after the first manual that fails lint. --- doc/Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/Makefile.in b/doc/Makefile.in index bfcbdf1bc..f5a5623f6 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -102,10 +102,12 @@ lint: all echo "make lint only supported for mdoc manuals" 1>&2; \ exit 1; \ else \ + rval=0; \ for m in $(DOCS); do \ echo $(MANDOC) -Tlint $$m; \ - $(MANDOC) -Tlint $$m; \ + $(MANDOC) -Tlint $$m || rval=`expr $$rval + $$?`; \ done; \ + exit $$rval; \ fi Makefile: $(srcdir)/Makefile.in -- 2.40.0