diff options
-rw-r--r-- | Build/source/texk/web2c/tiedir/tie-w2c.ch | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/tiedir/tie-w2c.ch b/Build/source/texk/web2c/tiedir/tie-w2c.ch index 25898c03b9d..94677f8ff60 100644 --- a/Build/source/texk/web2c/tiedir/tie-w2c.ch +++ b/Build/source/texk/web2c/tiedir/tie-w2c.ch @@ -377,10 +377,8 @@ Additionally we report the history to the user, although this may not exit ( history == spotless ? 0 : 1 ); } @y -@s const_string int - @<Print the job |history|@>= -{const_string msg; +{ switch (history) { case spotless: print2_nl("(%s.)", "No errors were found"); term_new_line; break; |