diff options
author | Norbert Preining <preining@logic.at> | 2008-07-27 13:14:33 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-07-27 13:14:33 +0000 |
commit | 952f060e97b582931dd09e7fd95a0bd32ed842b2 (patch) | |
tree | 93cf87c36ec1894a4d15f82767a80009297fb4eb /Master/tlpkg/bin/tl-update-containers | |
parent | 8155fb348d75ab4679e65f32deaa4f6a88de7f48 (diff) |
tl-update-containers: also update a package if one of its containers is
missing (accidentely removed)
git-svn-id: svn://tug.org/texlive/trunk@9811 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-containers')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-containers | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-containers b/Master/tlpkg/bin/tl-update-containers index c7db1489997..2b420654ad7 100755 --- a/Master/tlpkg/bin/tl-update-containers +++ b/Master/tlpkg/bin/tl-update-containers @@ -116,7 +116,16 @@ sub main if ($oldrev == $newrev) { debug("$pkg up to date\n"); - $count{"unchanged"}++; + # check for the existence of all containers, might got missing + if (($tlp->runfiles && ! -r "$opt_containerdir/$pkg.tar.$type") || + ($srcsplit && $tlp->srcfiles && ! -r "$opt_containerdir/$pkg.source.tar.$type") || + ($docsplit && $tlp->docfiles && ! -r "$opt_containerdir/$pkg.doc.tar.$type")) { + info("container(s) for $pkg have disappeared, recreating them.\n"); + push @todopacks, $pkg; + $count{"updated"}++; + } else { + $count{"unchanged"}++; + } } elsif ($oldrev < $newrev) { push @todopacks, $pkg; $count{"updated"}++ if $oldrev; |