diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-05 11:39:36 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-05 11:39:36 +0200 |
commit | 68c63252eb0da3d1d67bf7534032d020edfc70ef (patch) | |
tree | 9e5dc95d6909c848083ddb367a77237974c188d7 /luaotfload-tool.lua | |
parent | 566c10a7197c4977cc698ed230ac2ac09260f329 (diff) | |
download | luaotfload-68c63252eb0da3d1d67bf7534032d020edfc70ef.tar.gz |
include interpreter facts in -V info
Diffstat (limited to 'luaotfload-tool.lua')
-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 |