diff options
Diffstat (limited to 'Build/source')
| -rw-r--r-- | Build/source/texk/web2c/luatexdir/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/luatexdir/lua/luainit.w | 8 | ||||
| -rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/printing.w | 10 |
3 files changed, 13 insertions, 9 deletions
diff --git a/Build/source/texk/web2c/luatexdir/ChangeLog b/Build/source/texk/web2c/luatexdir/ChangeLog index b600637ede6..299bdd16d7f 100644 --- a/Build/source/texk/web2c/luatexdir/ChangeLog +++ b/Build/source/texk/web2c/luatexdir/ChangeLog @@ -1,3 +1,7 @@ +2010-05-19 Taco Hoekwater <taco@luatex.org> + * printing.w (print_banner, log_banner), luainit.w (lua_initialize): + add WEB2CVERSION to the banner. + 2010-05-13 Taco Hoekwater <taco@luatex.org> * utils/synctex.c, utils/synctex-luatex.h: update from Jérome diff --git a/Build/source/texk/web2c/luatexdir/lua/luainit.w b/Build/source/texk/web2c/luatexdir/lua/luainit.w index 1e5f8681ba5..017558ad1db 100644 --- a/Build/source/texk/web2c/luatexdir/lua/luainit.w +++ b/Build/source/texk/web2c/luatexdir/lua/luainit.w @@ -731,13 +731,13 @@ void lua_initialize(int ac, char **av) argv = av; if (luatex_svn < 0) { - if (asprintf(&banner, "This is LuaTeX, Version %s-%d", - luatex_version_string, luatex_date_info) < 0) { + if (asprintf(&banner, "This is LuaTeX, Version %s-%d%s", + luatex_version_string, luatex_date_info, WEB2CVERSION) < 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) { + if (asprintf(&banner, "This is LuaTeX, Version %s-%d%s (rev %d)", + luatex_version_string, luatex_date_info, WEB2CVERSION, luatex_svn) < 0) { exit(EXIT_FAILURE); } } 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(' '); |