diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-tlnet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlnet b/Master/tlpkg/bin/tl-update-tlnet index 62d188d17ee..7aecf25cf06 100755 --- a/Master/tlpkg/bin/tl-update-tlnet +++ b/Master/tlpkg/bin/tl-update-tlnet @@ -140,7 +140,7 @@ unexpected_output=`cat install.log \ | grep -Ev '^mktexlsr: Done' \ | grep -Ev '^writing fmtutil.cnf data to' \ | grep -Ev '^writing updmap.cfg to' \ - | grep -Ev '^writing language.(dat|def) data to' \ + | grep -Ev '^writing language.(dat|def|dat.lua) data to' \ | grep -Ev '^pre-generating all format file' \ | grep -Ev '^running ' \ | grep -Ev '^done running ' \ |