summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
Diffstat (limited to 'Build')
-rw-r--r--Build/source/texk/web2c/ChangeLog4
-rw-r--r--Build/source/texk/web2c/tex.ch3
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|@>;