diff options
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index 18600a00bb3..6e8be72092d 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,7 @@ +2021-07-25 Karl Berry <karl@freefriends.org> + + * tex.ch: restore "strings are different" change from 2021-07-22. + 2021-07-25 Hironori Kitagawa <h_kitagawa2001@yahoo.co.jp> * tex.ch: diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index f281540a7da..d1da6a7b521 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -1,3 +1,4 @@ +% $Id$ % tex.ch for C compilation with web2c, derived from various other change files. % By Tim Morgan, UC Irvine ICS Department, and many others. % @@ -3522,7 +3523,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 version'); + ' made by different executable version, strings are different'); goto bad_fmt; end; @<Undump |xord|, |xchr|, and |xprn|@>; |