diff options
author | Taco Hoekwater <taco@elvenkind.com> | 2010-05-19 08:23:37 +0000 |
---|---|---|
committer | Taco Hoekwater <taco@elvenkind.com> | 2010-05-19 08:23:37 +0000 |
commit | a91c83bf6af2ca8d47825fa8ce4b518767706a57 (patch) | |
tree | 2a7db79b17c279a1356d6db9ac7eb4d6946d7497 /Build/source/texk/web2c/luatexdir/tex | |
parent | 1b425fea550ece37a4ee9c7abfa7692fb8f7434d (diff) |
add WEB2CVERSION to the banner
git-svn-id: svn://tug.org/texlive/trunk@18346 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 | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/printing.w b/Build/source/texk/web2c/luatexdir/tex/printing.w index fee354eebec..278b8a70e71 100644 --- a/Build/source/texk/web2c/luatexdir/tex/printing.w +++ b/Build/source/texk/web2c/luatexdir/tex/printing.w @@ -361,10 +361,10 @@ void print_banner(const char *v, int e, int ver) 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); + fprintf(term_out, "This is LuaTeX, Version %s-%d%s ", v, e, WEB2CVERSION); else - fprintf(term_out, "This is LuaTeX, Version %s-%d (rev %d) ", v, e, - ver); + fprintf(term_out, "This is LuaTeX, Version %s-%d%s (rev %d) ", v, e, + WEB2CVERSION, ver); if (format_ident > 0) slow_print(format_ident); print_ln(); @@ -390,9 +390,9 @@ void log_banner(const char *v, int e, int ver) if (month > 12) month = 0; if (ver < 0) - fprintf(log_file, "This is LuaTeX, Version %s-%d ", v, e); + fprintf(log_file, "This is LuaTeX, Version %s-%d%s ", v, e, WEB2CVERSION); else - fprintf(log_file, "This is LuaTeX, Version %s-%d (rev %d) ", v, e, ver); + fprintf(log_file, "This is LuaTeX, Version %s-%d%s (rev %d) ", v, e, WEB2CVERSION, ver); slow_print(format_ident); print_char(' '); print_char(' '); |