diff options
Diffstat (limited to 'Master/texmf-dist/source/luatex/luamplib/Makefile')
-rw-r--r-- | Master/texmf-dist/source/luatex/luamplib/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/source/luatex/luamplib/Makefile b/Master/texmf-dist/source/luatex/luamplib/Makefile index a842e2c30bc..f4d638764e7 100644 --- a/Master/texmf-dist/source/luatex/luamplib/Makefile +++ b/Master/texmf-dist/source/luatex/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 |