diff options
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 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='...'/> |