From 406664ddaa5ec2cc4fab778dd3c29df82ecbd4d7 Mon Sep 17 00:00:00 2001 From: Taco Hoekwater Date: Tue, 3 Apr 2012 07:26:44 +0000 Subject: 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 --- Build/source/texk/web2c/luatexdir/lua/luainit.w | 13 +++---------- Build/source/texk/web2c/luatexdir/tex/printing.w | 11 ++--------- 2 files changed, 5 insertions(+), 19 deletions(-) (limited to 'Build/source/texk/web2c') diff --git a/Build/source/texk/web2c/luatexdir/lua/luainit.w b/Build/source/texk/web2c/luatexdir/lua/luainit.w index 9c03691d8d7..6d290d04fe7 100644 --- a/Build/source/texk/web2c/luatexdir/lua/luainit.w +++ b/Build/source/texk/web2c/luatexdir/lua/luainit.w @@ -738,16 +738,9 @@ void lua_initialize(int ac, char **av) argc = ac; argv = av; - if (luatex_svn < 0) { - if (asprintf(&banner, "This is LuaTeX, Version %s-%d", - luatex_version_string, luatex_date_info) < 0) { - exit(EXIT_FAILURE); - } - } else { - if (asprintf(&banner, "This is LuaTeX, Version %s-%d (rev %d)", - luatex_version_string, luatex_date_info, luatex_svn) < 0) { - exit(EXIT_FAILURE); - } + if (asprintf(&banner, "This is LuaTeX, Version %s-%d (TeX Live 2012)", + luatex_version_string, luatex_date_info) < 0) { + exit(EXIT_FAILURE); } ptexbanner = banner; 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(' '); -- cgit v1.2.3