diff options
author | Karl Berry <karl@freefriends.org> | 2020-04-29 21:27:54 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-04-29 21:27:54 +0000 |
commit | e1dbb2cbe7bf41890a5bd4b7e79421725e7b3938 (patch) | |
tree | 71be50198ef455bb059835e114dd314c422a98c9 /Master/tlpkg/bin/tlpkginfo | |
parent | 9dc098550a08a0a6535d68c59ce28ce13fad7593 (diff) |
hu-berlin-bundle (29apr20)
git-svn-id: svn://tug.org/texlive/trunk@54938 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
-rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo index f48e2e78b80..8ed6a4c7a0c 100755 --- a/Master/tlpkg/bin/tlpkginfo +++ b/Master/tlpkg/bin/tlpkginfo @@ -391,7 +391,7 @@ sub prepare { # redirect to stderr because we want the only stdout to be the # directory name for ctan2tl to use. Intentionally do not use -q # so that we have a chance of noticing errors. - system ("timeout 10s svn update $catfile >&2") + system ("timeout 10s svn update $catfile </dev/null >&2") unless $ENV{"TLPKGINFO_CATALOGUE_NO_UPDATE"}; open (CATFILE, "<$catfile") || die "open($catfile) failed, fixme: $!"; |