summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/l3build/l3build-check.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-03-26 21:16:23 +0000
committerKarl Berry <karl@freefriends.org>2018-03-26 21:16:23 +0000
commit82b00f8ff627ca67a518482f47510e1fc574766f (patch)
tree17d02c9164e8e5b02a0e729cf027f0e697344a8f /Master/texmf-dist/scripts/l3build/l3build-check.lua
parenta4fa614c9b8eb6093e949ccf1bcda0fa68b18ac0 (diff)
l3build (26mar18)
git-svn-id: svn://tug.org/texlive/trunk@47135 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/l3build/l3build-check.lua')
-rw-r--r--Master/texmf-dist/scripts/l3build/l3build-check.lua3
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/l3build/l3build-check.lua b/Master/texmf-dist/scripts/l3build/l3build-check.lua
index f378893b14a..a51dafd07c7 100644
--- a/Master/texmf-dist/scripts/l3build/l3build-check.lua
+++ b/Master/texmf-dist/scripts/l3build/l3build-check.lua
@@ -90,7 +90,8 @@ local function formatlog(logfile, newfile, engine, errlevels)
end
local function killcheck(line)
-- Skip lines containing file dates
- if match(line, "[^<]%d%d%d%d/%d%d/%d%d") then
+ if match(line, "[^<]%d%d%d%d/%d%d/%d%d")
+ or match(line, "[^<]%d%d%d%d%-%d%d%-%d%d") then
return true
elseif
-- Skip \openin/\openout lines in web2c 7.x