summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/bin/place3
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`;
}