From 076b6d52fa1ea261684de2117edc21af8342b752 Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg42.2a@gmail.com>
Date: Thu, 11 Jul 2013 16:12:05 +0200
Subject: issue warning for unknown diagnostics in luaotfload-tool

---
 luaotfload-tool.lua | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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.")
-- 
cgit v1.2.3