diff options
author | Taco Hoekwater <taco@elvenkind.com> | 2012-04-03 07:26:44 +0000 |
---|---|---|
committer | Taco Hoekwater <taco@elvenkind.com> | 2012-04-03 07:26:44 +0000 |
commit | 406664ddaa5ec2cc4fab778dd3c29df82ecbd4d7 (patch) | |
tree | 94d6983b32d4793550a24e917faae33cc4f30206 /Build/source/texk/web2c/luatexdir/tex | |
parent | 455f995821eadf5d1397f0f8682596a60648089f (diff) |
quick hack to make luatex print banner that ends with '(TeX Live 2012)'
git-svn-id: svn://tug.org/texlive/trunk@25836 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/printing.w | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/printing.w b/Build/source/texk/web2c/luatexdir/tex/printing.w index df28f3d3c04..09362a13671 100644 --- a/Build/source/texk/web2c/luatexdir/tex/printing.w +++ b/Build/source/texk/web2c/luatexdir/tex/printing.w @@ -360,11 +360,7 @@ void print_banner(const char *v, int e, int ver) int callback_id; callback_id = callback_defined(start_run_callback); if (callback_id == 0) { - if (ver < 0) - fprintf(term_out, "This is LuaTeX, Version %s-%d ", v, e); - else - fprintf(term_out, "This is LuaTeX, Version %s-%d (rev %d) ", v, e, - ver); + fprintf(term_out, "This is LuaTeX, Version %s-%d (TeX Live 2012)", v, e); if (format_ident > 0) slow_print(format_ident); print_ln(); @@ -389,10 +385,7 @@ void log_banner(const char *v, int e, int ver) unsigned month = (unsigned) int_par(month_code); if (month > 12) month = 0; - if (ver < 0) - fprintf(log_file, "This is LuaTeX, Version %s-%d ", v, e); - else - fprintf(log_file, "This is LuaTeX, Version %s-%d (rev %d) ", v, e, ver); + fprintf(log_file, "This is LuaTeX, Version %s-%d (TeX Live 2012)", v, e); slow_print(format_ident); print_char(' '); print_char(' '); |