diff options
author | Karl Berry <karl@freefriends.org> | 2016-05-24 22:38:54 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-05-24 22:38:54 +0000 |
commit | e20b462a4939c1404734dfdbd5ec09b035bd4414 (patch) | |
tree | 1dd72eecd6a20271556b70eacc265f80f6286e96 /Master/tlpkg/bin/tl-update-tlnet | |
parent | 371421ec0837123b676336b7c501b9235135c008 (diff) |
tl-update-images: remake checksums after tl-prune-platforms;
tl-update-tlnet: regex for fmtutil failure
git-svn-id: svn://tug.org/texlive/trunk@41285 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-tlnet')
-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 520fd47dada..a7d05b73540 100755 --- a/Master/tlpkg/bin/tl-update-tlnet +++ b/Master/tlpkg/bin/tl-update-tlnet @@ -219,7 +219,7 @@ fi # Format creation check, in case fmtutil's exit status wasn't right. install_tl_log=$tltryinst/$yyyy/install-tl.log -if grep -i '^fmtutil.*: error' $install_tl_log >/dev/null; then +if grep -i '^fmtutil.*error.*: $install_tl_log >/dev/null; then echo >&2 echo "$0: seems fmtutil failed, check $install_tl_log." >&2 failure=true |