diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2015-11-22 00:37:26 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2015-11-22 00:43:43 +0100 |
commit | 91c97ddc438c225123cf50ae674931381c0fbf47 (patch) | |
tree | 7a32051f785785ba482131076f9bf17183ac2e3c | |
parent | 39d7f5d2b65d9d21627c73c3436825d39317dced (diff) | |
download | luaotfload-91c97ddc438c225123cf50ae674931381c0fbf47.tar.gz |
[db] emit message when skipping PWD
-rw-r--r-- | src/luaotfload-database.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/luaotfload-database.lua b/src/luaotfload-database.lua index 2bce001..cc8549e 100644 --- a/src/luaotfload-database.lua +++ b/src/luaotfload-database.lua @@ -2166,7 +2166,11 @@ local filter_out_pwd = function (dirs) for i = 1, #dirs do --- better safe than sorry local dir = path_normalize (lpegmatch (stripslashes, dirs[i])) - if not (dir == "." or dir == pwd) then + if dir == "." or dir == pwd then + logreport ("both", 3, "db", + "Path ā%sā matches $PWD (ā%sā), skipping.", + dir, pwd) + else result[#result+1] = dir end end |