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

2 files changed, 5 insertions, 19 deletions

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(' ');