diff options
-rwxr-xr-x | Master/tlpkg/bin/place | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/place b/Master/tlpkg/bin/place index b147d20b23b..b1f69032265 100755 --- a/Master/tlpkg/bin/place +++ b/Master/tlpkg/bin/place @@ -130,7 +130,8 @@ if (!defined($tlpold)) { } my $nrcommfiles = @difffiles; chomp (my $identical = `grep --text 'are identical' $diff_file | wc -l`); - print "$nrcommfiles common files, $identical unchanged, ~$sum lines different ($diff_file)\n\n\f\n"; + 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`; } |