summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-05-01 21:35:13 +0000
committerKarl Berry <karl@freefriends.org>2020-05-01 21:35:13 +0000
commit199bfaa843f7bbf42ecd1a2001cb96f321709689 (patch)
treee99ec3a3c19675b3b16b327229c34bcff42277e0 /Master/tlpkg
parent334433e8aa144221ad36bda32aaf78b52d7b35a2 (diff)
lwarp (1may20)
git-svn-id: svn://tug.org/texlive/trunk@54965 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-xMaster/tlpkg/bin/tlpkginfo2
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: $!";