summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/l3build/l3build-check.lua
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/scripts/l3build/l3build-check.lua')
-rw-r--r--Master/texmf-dist/scripts/l3build/l3build-check.lua10
1 files changed, 6 insertions, 4 deletions
diff --git a/Master/texmf-dist/scripts/l3build/l3build-check.lua b/Master/texmf-dist/scripts/l3build/l3build-check.lua
index 0a0caa67c1d..442bd916814 100644
--- a/Master/texmf-dist/scripts/l3build/l3build-check.lua
+++ b/Master/texmf-dist/scripts/l3build/l3build-check.lua
@@ -89,10 +89,15 @@ local function formatlog(logfile, newfile, engine, errlevels)
maxprintline = maxprintline + 1 -- Deal with an out-by-one error
end
local function killcheck(line)
+ -- Skip lines containing file dates
+ 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
-- As Lua doesn't allow "(in|out)", a slightly complex approach:
-- do a substitution to check the line is exactly what is required!
- if match(
+ match(
gsub(line, "^\\openin", "\\openout"), "^\\openout%d%d? = "
) then
return true
@@ -133,9 +138,6 @@ local function formatlog(logfile, newfile, engine, errlevels)
line = gsub(line, pattern, "../%1")
end
end
- -- Print only 'place-marker' (ISO) dates
- line = gsub(line, "%d%d%d%d%-%d%d%-%d%d", "YYYY-MM-DD")
- line = gsub(line, "%d%d%d%d/%d%d/%d%d", "YYYY-MM-DD")
-- Deal with the fact that "(.aux)" may have still a leading space
line = gsub(line, "^ %(%.aux%)", "(.aux)")
-- Merge all of .fd data into one line so will be removed later