From d1b8ba89c19422cb400169eb0cc29f4cb08f8b35 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 2 Feb 2020 19:43:39 -0500 Subject: [PATCH] GNUmakefile: make check-chktex output errors. --- GNUmakefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/GNUmakefile b/GNUmakefile index dd8af23..3369c9c 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -202,7 +202,8 @@ check-boxes: $(PN).log .PHONY: check-chktex CHKTEX = chktex --localrc .chktexrc --quiet --inputfiles=0 check-chktex: - @[ -z "$(shell $(CHKTEX) mjotex.sty)" ] + @chktexout=$$($(CHKTEX) $(PN).tex); \ + test -z "$${chktexout}" || { echo "$${chktexout}" 1>&2; exit 1; } # Ensure that there are no undefined references in the document by # parsing the log file for said warnings. -- 2.43.2