diff options
author | Norbert Preining <norbert@preining.info> | 2024-04-26 03:01:49 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2024-04-26 03:01:49 +0000 |
commit | cb867271b21bfe7bea226cbe72cc596124933dfc (patch) | |
tree | 92d064f40b1218b664126fcaa2523266be1ed326 /macros/luatex/generic/luamplib/Makefile | |
parent | 8c332d190fc87f5943debba153cad209c0f8952e (diff) |
CTAN sync 202404260301
Diffstat (limited to 'macros/luatex/generic/luamplib/Makefile')
-rw-r--r-- | macros/luatex/generic/luamplib/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/macros/luatex/generic/luamplib/Makefile b/macros/luatex/generic/luamplib/Makefile index a842e2c30b..f4d638764e 100644 --- a/macros/luatex/generic/luamplib/Makefile +++ b/macros/luatex/generic/luamplib/Makefile @@ -42,8 +42,8 @@ $(UNPACKED): $(DTX) luatex -interaction=batchmode $< >/dev/null check: $(UNPACKED) - luatex -interaction=batchmode test-$(NAME)-plain.tex >/dev/null - lualatex -interaction=batchmode test-$(NAME)-latex.tex >/dev/null + @texfot --quiet --tee=/dev/null luatex -interaction=batchmode test-$(NAME)-plain.tex + @texfot --quiet --tee=/dev/null lualatex -interaction=batchmode test-$(NAME)-latex.tex ! grep "blank space" test-$(NAME)-plain.log ! grep "blank space" test-$(NAME)-latex.log |