diff options
| -rwxr-xr-x | luaotfload-tool.lua | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 4d3b411..4d25d53 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -248,8 +248,14 @@ end local version_msg = function ( ) texiowrite_nl(stringformat( - "%s version %s, database version %s.\n", - config.luaotfload.self, version, names.version)) + "%s version “%s”\n" .. -- no \z due to 5.1 compatibility + "database version “%s”\n" .. + "Lua interpreter: %s; version “%s”\n", + config.luaotfload.self, + version, + names.version, + runtime[1], + runtime[2])) end |