texlive[60013] Build/source/texk/web2c: explicit fmt loading error

[commits+karl at tug.org]

Revision: 60013
          http://tug.org/svn/texlive?view=revision&revision=60013
Author:   karl
Date:     2021-07-22 20:09:43 +0200 (Thu, 22 Jul 2021)
Log Message:
-----------
explicit fmt loading error when strings are different

Modified Paths:
--------------
    trunk/Build/source/texk/web2c/ChangeLog
    trunk/Build/source/texk/web2c/tex.ch

Modified: trunk/Build/source/texk/web2c/ChangeLog
===================================================================
--- trunk/Build/source/texk/web2c/ChangeLog	2021-07-21 23:47:32 UTC (rev 60012)
+++ trunk/Build/source/texk/web2c/ChangeLog	2021-07-22 18:09:43 UTC (rev 60013)
@@ -1,3 +1,9 @@
+2021-07-22  Karl Berry  <karl at freefriends.org>
+
+	* tex.ch (50.1308): when fmt loading fails because the string
+	checksums are different, say that explicitly, not just
+	"different executable".
+
 2021-07-19  Hironori Kitagawa  <h_kitagawa2001 at yahoo.co.jp>
 
 	* tex.ch (term_input, @<Input for \.{\\read} from the terminal@>):

Modified: trunk/Build/source/texk/web2c/tex.ch
===================================================================
--- trunk/Build/source/texk/web2c/tex.ch	2021-07-21 23:47:32 UTC (rev 60012)
+++ trunk/Build/source/texk/web2c/tex.ch	2021-07-22 18:09:43 UTC (rev 60013)
@@ -3512,7 +3512,8 @@
 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;
@@ -3522,7 +3523,7 @@
 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, strings are different');
   goto bad_fmt;
 end;
 @<Undump |xord|, |xchr|, and |xprn|@>;