summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/tiedir/tie-w2c.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/tiedir/tie-w2c.ch')
-rw-r--r--Build/source/texk/web2c/tiedir/tie-w2c.ch4
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;