summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-07-05 11:39:36 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-07-05 11:39:36 +0200
commit68c63252eb0da3d1d67bf7534032d020edfc70ef (patch)
tree9e5dc95d6909c848083ddb367a77237974c188d7
parent566c10a7197c4977cc698ed230ac2ac09260f329 (diff)
downloadluaotfload-68c63252eb0da3d1d67bf7534032d020edfc70ef.tar.gz
include interpreter facts in -V info
-rwxr-xr-xluaotfload-tool.lua10
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