7 files changed, 15 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog
index 7ace7a1118b..84c49a5778b 100644
--- a/Build/source/texk/web2c/ChangeLog
+++ b/Build/source/texk/web2c/ChangeLog
@@ -1,3 +1,8 @@
+2014-11-06  Peter Breitenlohner  <peb@mppmu.mpg.de>
+
+	* mf.ch, tftopl.ch, vftovp.ch: Add stringcast to avoid printing
+	strings as numbers.
+
 2014-10-30  Peter Breitenlohner  <peb@mppmu.mpg.de>
 
 	* texmfmp.h: Define here whether or not to build tex*.dll.
diff --git a/Build/source/texk/web2c/mf.ch b/Build/source/texk/web2c/mf.ch
index 30432668995..ec804166c09 100644
--- a/Build/source/texk/web2c/mf.ch
+++ b/Build/source/texk/web2c/mf.ch
@@ -2081,7 +2081,7 @@ undump_things(base_engine[0], x);
 base_engine[x-1]:=0; {force string termination, just in case}
 if strcmp(engine_name, stringcast(base_engine)) then
   begin wake_up_terminal;
-  wterm_ln('---! ', stringcast(name_of_file+1), ' was written by ', base_engine);
+  wterm_ln('---! ', stringcast(name_of_file+1), ' was written by ', stringcast(base_engine));
   libc_free(base_engine);
   goto off_base;
 end;
diff --git a/Build/source/texk/web2c/omegaware/ChangeLog b/Build/source/texk/web2c/omegaware/ChangeLog
index 973c73b8c51..4ba7193ffe8 100644
--- a/Build/source/texk/web2c/omegaware/ChangeLog
+++ b/Build/source/texk/web2c/omegaware/ChangeLog
@@ -1,3 +1,8 @@
+2014-11-06  Peter Breitenlohner  <peb@mppmu.mpg.de>
+
+	* ofm2opl.ch, ovf2ovp.ch: Add stringcast to avoid printing
+	strings as numbers.
+
 2014-08-19  Peter Breitenlohner  <peb@mppmu.mpg.de>
 
 	* check.test, check.{ofm,opl}, checked.opl:
diff --git a/Build/source/texk/web2c/omegaware/ofm2opl.ch b/Build/source/texk/web2c/omegaware/ofm2opl.ch
index 5ad99cefd1e..d6006b1f4dd 100644
--- a/Build/source/texk/web2c/omegaware/ofm2opl.ch
+++ b/Build/source/texk/web2c/omegaware/ofm2opl.ch
@@ -355,7 +355,7 @@ begin
       else if strcmp (optarg, 'hex') = 0 then
         charcode_format := charcode_hex
       else
-        write_ln (stderr, 'Bad character code format', optarg, '.');
+        write_ln (stderr, 'Bad character code format', stringcast(optarg), '.');
 
     end; {Else it was a flag; |getopt| has already done the assignment.}
   until getopt_return_val = -1;
diff --git a/Build/source/texk/web2c/omegaware/ovf2ovp.ch b/Build/source/texk/web2c/omegaware/ovf2ovp.ch
index 9dd8029aecc..620c9309779 100644
--- a/Build/source/texk/web2c/omegaware/ovf2ovp.ch
+++ b/Build/source/texk/web2c/omegaware/ovf2ovp.ch
@@ -547,7 +547,7 @@ begin
       else if strcmp (optarg, 'hex') = 0 then
         charcode_format := charcode_hex
       else
-        write_ln (stderr, 'Bad character code format', optarg, '.');
+        write_ln (stderr, 'Bad character code format', stringcast(optarg), '.');
 
     end; {Else it was a flag; |getopt| has already done the assignment.}
   until getopt_return_val = -1;
diff --git a/Build/source/texk/web2c/tftopl.ch b/Build/source/texk/web2c/tftopl.ch
index 2d9b1945177..fad8087f4b0 100644
--- a/Build/source/texk/web2c/tftopl.ch
+++ b/Build/source/texk/web2c/tftopl.ch
@@ -337,7 +337,7 @@ begin
       else if strcmp (optarg, 'octal') = 0 then
         charcode_format := charcode_octal
       else
-        print_ln ('Bad character code format', optarg, '.');
+        print_ln ('Bad character code format', stringcast(optarg), '.');
 
     end; {Else it was a flag; |getopt| has already done the assignment.}
   until getopt_return_val = -1;
diff --git a/Build/source/texk/web2c/vftovp.ch b/Build/source/texk/web2c/vftovp.ch
index 3c94bf4d57b..aeb507bab08 100644
--- a/Build/source/texk/web2c/vftovp.ch
+++ b/Build/source/texk/web2c/vftovp.ch
@@ -577,7 +577,7 @@ begin
       else if strcmp (optarg, 'octal') = 0 then
         charcode_format := charcode_octal
       else
-        print_ln ('Bad character code format', optarg, '.');
+        print_ln ('Bad character code format', stringcast(optarg), '.');
 
     end; {Else it was a flag; |getopt| has already done the assignment.}
   until getopt_return_val = -1;