diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-tlnet | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlnet b/Master/tlpkg/bin/tl-update-tlnet index 240a7dda3fc..ae65da4d44c 100755 --- a/Master/tlpkg/bin/tl-update-tlnet +++ b/Master/tlpkg/bin/tl-update-tlnet @@ -161,8 +161,9 @@ unexpected_output=`cat install.log \ | grep -Ev '^Logfile: ' \ | grep -Ev '^Time used for installing ' \ | grep -Ev '^setting up ConTeXt MkIV cache ' \ - | grep -Ev '^resolvers | ' \ - | grep -Ev '^system | ' \ + | grep -Ev '^resolvers +\| ' \ + | grep -Ev '^system +\| ' \ + | grep -Ev '^done$' \ | cat` failure=false |