diff options
Diffstat (limited to 'Build/source/texk/web2c/uptexdir/kanji_dump.c')
-rw-r--r-- | Build/source/texk/web2c/uptexdir/kanji_dump.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/uptexdir/kanji_dump.c b/Build/source/texk/web2c/uptexdir/kanji_dump.c index 83760980e95..ce1b6d7d407 100644 --- a/Build/source/texk/web2c/uptexdir/kanji_dump.c +++ b/Build/source/texk/web2c/uptexdir/kanji_dump.c @@ -26,6 +26,7 @@ void undump_kanji (FILE *fp) { char buffer[12]; char *p; + int i; do_undump (buffer, 1, 12, fp); buffer[11] = 0; /* force string termination, just in case */ @@ -36,6 +37,12 @@ void undump_kanji (FILE *fp) else p = buffer; + i = get_internal_enc(); + /* Now BUFFER and P are the file and internal encoding strings. */ init_kanji (NULL, p); + if (get_internal_enc() != i) { + fprintf (stderr, "Option --kanji-internal invalid when a format file is loaded.\n", p); + fprintf (stderr, "I'll stick to %s.\n", enc_to_string(get_internal_enc())); + } } |