diff options
-rwxr-xr-x | Build/source/texk/dvi2tty/dvi2tty.test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty.test b/Build/source/texk/dvi2tty/dvi2tty.test index 963eef0d298..2bd33f7a0ed 100755 --- a/Build/source/texk/dvi2tty/dvi2tty.test +++ b/Build/source/texk/dvi2tty/dvi2tty.test @@ -35,7 +35,7 @@ rc=0 ./dvi2tty -u $test_src/table.dvi >tableu.out && diff $srcdir/tableu.tty tableu.out || rc=4 -./dvi2tty -u -C $test_src/table.dvi >tableuC.out && diff $srcdir/tableu.tty tableuC.out || rc=5 +./dvi2tty -u -C $test_src/table.dvi >tableuC.out && diff $srcdir/tableuC.tty tableuC.out || rc=5 ./dvi2tty -Eu $test_src/table.dvi >tableEu.out && diff $srcdir/tableEu.tty tableEu.out || rc=6 |