commit: 832b6ab7ea3e5239ec1ad850ca08a85dc1cb3bb1
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 2 13:35:35 2020 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Thu Jan 2 13:35:35 2020 +0000
URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=832b6ab7
Makefile: Output a message if tidy succeeded.
Explicitly initialise status, in order to be independent of the
environment.
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
Makefile | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 407decf..398d976 100644
--- a/Makefile
+++ b/Makefile
@@ -53,10 +53,12 @@ validate: prereq
# We have to loop through them because otherwise tidy won't
# tell you which file contains a mistake.
tidy: $(HTMLS)
- @for f in $(HTMLS); do \
+ @status=0; \
+ for f in $(HTMLS); do \
output=$$(tidy -q -errors --drop-empty-elements no $${f} 2>&1) \
|| { status=$$?; echo "Failed on $${f}:"; echo "$${output}"; }; \
done; \
+ test $${status} -eq 0 && echo "tidy validation successful"; \
exit $${status}
clean:
