summaryrefslogtreecommitdiff
path: root/luaotfload-tool.lua
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-07-11 16:12:05 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-07-11 16:12:05 +0200
commit076b6d52fa1ea261684de2117edc21af8342b752 (patch)
treefb4d9639665fc1599f631529015da2dafe9ee4a6 /luaotfload-tool.lua
parentf1202c80dc37c251600eb5f275eced90cac5267e (diff)
downloadluaotfload-076b6d52fa1ea261684de2117edc21af8342b752.tar.gz
issue warning for unknown diagnostics in luaotfload-tool
Diffstat (limited to 'luaotfload-tool.lua')
-rwxr-xr-xluaotfload-tool.lua8
1 files changed, 7 insertions, 1 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua
index 4afd9d1..5028515 100755
--- a/luaotfload-tool.lua
+++ b/luaotfload-tool.lua
@@ -1338,16 +1338,22 @@ do
if asked.files == true then
errcnt = verify_files (errcnt, info)
+ asked.files = nil
end
if asked.permissions == true then
errcnt = check_permissions (errcnt)
+ asked.permissions = nil
end
if asked.repository == true then
--errcnt = check_upstream (info.notes.revision)
check_upstream (info.notes.revision)
+ asked.repository = nil
end
-
+ local rest = next (asked)
+ if rest ~= nil then --> something unknown
+ out ("Unknown diagnostic ā€œ%sā€.", rest)
+ end
if errcnt == 0 then --> success
out ("Everything appears to be in order, \z
you may sleep well.")