diff options
Diffstat (limited to 'Build/source/texk/web2c/tests/batch.tex')
-rw-r--r-- | Build/source/texk/web2c/tests/batch.tex | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/tests/batch.tex b/Build/source/texk/web2c/tests/batch.tex new file mode 100644 index 00000000000..b2492af8e8a --- /dev/null +++ b/Build/source/texk/web2c/tests/batch.tex @@ -0,0 +1,10 @@ +% This test should give no output on the terminal. +\batchmode +\font\test=xxx +\errorstopmode +\ifx\test=\nullfont +% font not found +\else +% font found +\fi +\bye |