diff options
author | Karl Berry <karl@freefriends.org> | 2018-11-09 21:54:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-11-09 21:54:51 +0000 |
commit | 29a130c2612ca597fcf45f1b38e93259358a3f2e (patch) | |
tree | d30031960c9e984a4a6cb88caa4eef2f38b12fb0 /Master/texmf-dist/scripts/l3build/l3build-check.lua | |
parent | 621d4074c3976631f81047dec629532809f8488a (diff) |
l3build (9nov18)
git-svn-id: svn://tug.org/texlive/trunk@49115 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.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/l3build/l3build-check.lua b/Master/texmf-dist/scripts/l3build/l3build-check.lua index 416bfb4c994..837b6356cbf 100644 --- a/Master/texmf-dist/scripts/l3build/l3build-check.lua +++ b/Master/texmf-dist/scripts/l3build/l3build-check.lua @@ -156,8 +156,9 @@ local function normalize_log(content,engine,errlevels) line = gsub(line,"%d%d%d%d[/%-]%d%d[/%-]%d%d","....-..-..") line = gsub(line,"v%d+%.?%d?%d?%w?","v...") end - -- Deal with the fact that "(.aux)" may have still a leading space - line = gsub(line, "^ %(%.aux%)", "(.aux)") + -- Deal with leading spaces for file and page number lines + line = gsub(line,"^ *%[(%d)","[%1") + line = gsub(line,"^ *%(","(") -- Zap .fd lines: drop the first part, and skip to the end if match(line, "^ *%([%.%/%w]+%.fd[^%)]*$") then return "","",true |