From cc535d4e25dccd98c457ab44e7f53e353f722078 Mon Sep 17 00:00:00 2001 From: Joseph Wright Date: Mon, 26 Mar 2018 13:09:05 +0100 Subject: [PATCH] Skip ISO date lines --- l3build-check.lua | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/l3build-check.lua b/l3build-check.lua index f378893b..a51dafd0 100644 --- a/l3build-check.lua +++ b/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