diff options
author | Karl Berry <karl@freefriends.org> | 2020-05-01 21:35:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-05-01 21:35:13 +0000 |
commit | 199bfaa843f7bbf42ecd1a2001cb96f321709689 (patch) | |
tree | e99ec3a3c19675b3b16b327229c34bcff42277e0 /Master/tlpkg/bin | |
parent | 334433e8aa144221ad36bda32aaf78b52d7b35a2 (diff) |
lwarp (1may20)
git-svn-id: svn://tug.org/texlive/trunk@54965 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-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 8ed6a4c7a0c..1e11e3d8739 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 </dev/null >&2") + system ("timeout 4s svn update $catfile </dev/null >&2") unless $ENV{"TLPKGINFO_CATALOGUE_NO_UPDATE"}; open (CATFILE, "<$catfile") || die "open($catfile) failed, fixme: $!"; |