diff options
author | Karl Berry <karl@freefriends.org> | 2007-12-26 00:46:06 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-12-26 00:46:06 +0000 |
commit | 09c2e34333852c976a2bfb988393426be3139ea5 (patch) | |
tree | 39fa7de8c6977e71c7da74c78cc463b0a7b8463d /Master/tlpkg/bin/place | |
parent | 8622f0261b07f52a9363d670b16759eb4b3523e1 (diff) |
barr update (2005-12-13)
git-svn-id: svn://tug.org/texlive/trunk@5911 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/place')
-rwxr-xr-x | Master/tlpkg/bin/place | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/place b/Master/tlpkg/bin/place index d194119554c..421ab4137b1 100755 --- a/Master/tlpkg/bin/place +++ b/Master/tlpkg/bin/place @@ -128,7 +128,14 @@ if (!defined($tlpold)) { $sum += $#foo; # zero-based, so first line doesn't count. } my $nrcommfiles = @difffiles; - chomp (my $identical = `grep --text 'are identical' $diff_file | wc -l`); + # + my $identical; + if (-s $diff_file) { + chomp ($identical = `grep --text 'are identical' $diff_file | wc -l`); + } else { + $identical = 0; + } + # my $changed = $nrcommfiles - $identical; print "$nrcommfiles common files, $changed changed, ~$sum lines different ($diff_file)\n\n\f\n"; #`rm -f $TMP/tlplace.new $TMP/tlplace.old $TMP/tlplace.diff`; |