diff options
-rwxr-xr-x | Master/tlpkg/bin/place | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/place b/Master/tlpkg/bin/place index 27d3736650a..e080862fe32 100755 --- a/Master/tlpkg/bin/place +++ b/Master/tlpkg/bin/place @@ -127,7 +127,7 @@ if (!defined($tlpold)) { $sum += $#foo; # zero-based, so first line doesn't count. } my $nrcommfiles = @difffiles; - chomp (my $identical = `grep 'are identical' $diff_file | wc -l`); + 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"; #`rm -f $TMP/tlplace.new $TMP/tlplace.old $TMP/tlplace.diff`; } |