diff options
Diffstat (limited to 'scripts/context/lua/mtx-cache.lua')
| -rw-r--r-- | scripts/context/lua/mtx-cache.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-cache.lua b/scripts/context/lua/mtx-cache.lua index 4f378ff0a..79b9a118c 100644 --- a/scripts/context/lua/mtx-cache.lua +++ b/scripts/context/lua/mtx-cache.lua @@ -78,7 +78,8 @@ local function erase(banner,path,list) local kept = 0 for i=1,#list do local filename = list[i] - if find(filename,"luatex%-cache") then + -- if find(filename,"luatex%-cache") then + if find(filename,LUATEXENGINE .. "%-cache") then remove(filename) if isfile(filename) then kept = kept + 1 |