diff options
| author | Karl Berry <karl@freefriends.org> | 2007-10-15 16:35:21 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2007-10-15 16:35:21 +0000 |
| commit | 06767e3e78577650419409ef18853a09d9188fdc (patch) | |
| tree | 8492439766029e13ff13c13905f7cdfb33227043 /Master/tlpkg/bin | |
| parent | 88368e933cdb2ef6ab4ad9968c45c117182a8819 (diff) | |
need --text for grepping the diff.
git-svn-id: svn://tug.org/texlive/trunk@5196 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
| -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`; } |