diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-13 12:30:51 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-13 12:30:51 +0200 |
commit | 13799ebd44c93bb67cd10a362a8755175676bb59 (patch) | |
tree | 01632b755467e788b81d396987844b512c83da61 | |
parent | c381ee8e456001a8ca4e9ceadda080e6a8c7386b (diff) | |
download | luaotfload-13799ebd44c93bb67cd10a362a8755175676bb59.tar.gz |
[conf] warn about unknown variables
-rw-r--r-- | src/luaotfload-configuration.lua | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/luaotfload-configuration.lua b/src/luaotfload-configuration.lua index 69f4069..e302ca6 100644 --- a/src/luaotfload-configuration.lua +++ b/src/luaotfload-configuration.lua @@ -446,7 +446,12 @@ local process_options = function (opts) for var, val in next, vars do local vspec = spec[var] local t_val = type (val) - if t_val ~= vspec.in_t then + if not vspec then + logreport ("both", 0, "conf", + "Section %d (%s): invalid configuration variable %q (%q); ignoring.", + i, title, + var, tostring (val)) + elseif t_val ~= vspec.in_t then logreport ("both", 2, "conf", "Section %d (%s): type mismatch of input value %q (%q, %s != %s); ignoring.", i, title, |