diff options
Diffstat (limited to 'Build/source/texk')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 5 |
2 files changed, 7 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index 3c75fe0f976..18600a00bb3 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,8 @@ +2021-07-25 Hironori Kitagawa <h_kitagawa2001@yahoo.co.jp> + + * tex.ch: + set limit before "cannot \read from terminal" error etc. + 2021-07-22 Karl Berry <karl@freefriends.org> * tex.ch (50.1308): when fmt loading fails because the string diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index 0586d75cd83..f281540a7da 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -3512,8 +3512,7 @@ undump_things(format_engine[0], x); format_engine[x-1]:=0; {force string termination, just in case} if strcmp(engine_name, stringcast(format_engine)) then begin wake_up_terminal; - wterm_ln('---! ', stringcast(name_of_file+1), ' was written by ', - format_engine); + wterm_ln('---! ', stringcast(name_of_file+1), ' was written by ', format_engine); libc_free(format_engine); goto bad_fmt; end; @@ -3523,7 +3522,7 @@ format_debug('string pool checksum')(x); if x<>@$ then begin {check that strings are the same} wake_up_terminal; wterm_ln('---! ', stringcast(name_of_file+1), - ' made by different executable, strings are different'); + ' made by different executable version'); goto bad_fmt; end; @<Undump |xord|, |xchr|, and |xprn|@>; |