diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-src/dvi2tty.c')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty-src/dvi2tty.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-src/dvi2tty.c b/Build/source/texk/dvi2tty/dvi2tty-src/dvi2tty.c index f3a5b082f04..ac63c06d48e 100644 --- a/Build/source/texk/dvi2tty/dvi2tty-src/dvi2tty.c +++ b/Build/source/texk/dvi2tty/dvi2tty-src/dvi2tty.c @@ -751,6 +751,8 @@ void errorexit(int errorcode) case pipcr : fprintf(stderr, "Cannot create pipe to pager\n"); break; #endif + case bdfnt : fprintf(stderr, "Fail to get font information\n"); + break; default : fprintf(stderr, "Unkown error code\n"); break; }; |