diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2015-12-23 00:12:14 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2015-12-23 00:12:14 +0100 |
commit | e7fc73c0cb9a56c394d12f4967dbcffe93923afd (patch) | |
tree | 997ecb4230c241159a51d436cba4ffc49fcff8c1 /scripts/mkstatus | |
parent | bd29de3d14bd6cfeb96111227f153cbccf0527a4 (diff) | |
parent | 34a02eaaaf87f6608fc7cb13d60f1217f36f6502 (diff) | |
download | luaotfload-e7fc73c0cb9a56c394d12f4967dbcffe93923afd.tar.gz |
Merge pull request #315 from phi-gamma/master
third round of fixes
Diffstat (limited to 'scripts/mkstatus')
-rwxr-xr-x | scripts/mkstatus | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/mkstatus b/scripts/mkstatus index 4b36a9d..c5ded0d 100755 --- a/scripts/mkstatus +++ b/scripts/mkstatus @@ -101,11 +101,11 @@ local names = { { miscdir, "fontloader-fonts-demo-vf-1.lua", }, { miscdir, "fontloader-fonts-enc.lua", }, { miscdir, "fontloader-fonts-ext.lua", }, - { miscdir, "fontloader-fonts-inj.lua", }, + { miscdir, "fontloader-font-inj.lua", }, { miscdir, "fontloader-fonts.lua", }, { miscdir, "fontloader-fonts-lua.lua", }, { miscdir, "fontloader-fonts-ota.lua", }, - { miscdir, "fontloader-fonts-otn.lua", }, + { miscdir, "fontloader-font-otn.lua", }, { miscdir, "fontloader-fonts-syn.lua", }, { miscdir, "fontloader-fonts-tfm.lua", }, { miscdir, "fontloader-font-tfm.lua", }, @@ -164,7 +164,9 @@ local git_info = function () --io.write "\n" local desc = readpipe (describecmd) if not desc then die "cannot parse git information" end - local desc = string.explode (string.fullstrip (desc), "/")[2] + desc = string.fullstrip (desc) + local desc = string.explode (desc, "/")[2] or desc + if not desc then die "cannot parse sanitized git information" end local data = readpipe (logcmd) if data and type (data) == "string" and data ~= "" then data = load (data) |