diff options
Diffstat (limited to 'tex/context/base/mkiv/buff-ini.lua')
-rw-r--r-- | tex/context/base/mkiv/buff-ini.lua | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tex/context/base/mkiv/buff-ini.lua b/tex/context/base/mkiv/buff-ini.lua index 499e43f87..80272c1bf 100644 --- a/tex/context/base/mkiv/buff-ini.lua +++ b/tex/context/base/mkiv/buff-ini.lua @@ -494,7 +494,9 @@ local function runbuffer(name,encapsulate) registertempfile(addsuffix(tag,"tmp")) -- to be sure registertempfile(addsuffix(tag,"pdf")) end - newhashes = { } + newhashes = { + version = environment.version, + } job.datasets.setdata { name = "typeset buffers", tag = "hashes", @@ -518,7 +520,7 @@ local function runbuffer(name,encapsulate) -- if newhashes[hash] then -- done - elseif not oldhashes[hash] or not lfs.isfile(resultname) then + elseif not oldhashes[hash] or oldhashes.version ~= newhashes.version or not lfs.isfile(resultname) then if trace_run then report_typeset("changes in %a, processing forced",name) end |