summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tlpkginfo
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
-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 479ca9090c7..92335ba455d 100755
--- a/Master/tlpkg/bin/tlpkginfo
+++ b/Master/tlpkg/bin/tlpkginfo
@@ -394,7 +394,7 @@ sub prepare {
if ($catfile) {
# redirect to stderr because we want the only stdout to be the
# directory name for ctan2tl to use.
- system ("timeout 8s svn update $catfile >&2") if $catalogue_update;
+ system ("timeout 10s svn update $catfile >&2") if $catalogue_update;
open (CATFILE, "<$catfile") || die "open($catfile) failed, fixme: $!";
# looking for a line like <install path='...'/>