Skip ISO date lines

latex3 · Mar 26, 2018 · cc535d4 · cc535d4
1 parent 8f6268f
commit cc535d4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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