diff options
author | Karl Berry <karl@freefriends.org> | 2007-09-09 00:38:00 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-09-09 00:38:00 +0000 |
commit | 991605eecb9231f6c5f61b0ab7ccf35feb390010 (patch) | |
tree | 681da84d8666084fb193da5283e54abf413ced13 /Build/cdbuild | |
parent | 7f621653d24a0704fa5c543cb8357360a04921bd (diff) |
report filename where diffs are
git-svn-id: svn://tug.org/texlive/trunk@4919 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/cdbuild')
-rwxr-xr-x | Build/cdbuild/place | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/cdbuild/place b/Build/cdbuild/place index 8d3108eda63..879def5dd03 100755 --- a/Build/cdbuild/place +++ b/Build/cdbuild/place @@ -125,7 +125,7 @@ if (!defined($tlpold)) { $sum += ($#foo + 1); } my $nrcommfiles = $#difffiles + 1; - print "$nrcommfiles common files, ~$sum lines different\n\n\f\n"; + print "$nrcommfiles common files, ~$sum lines different ($TMP/tlplace.diff)\n\n\f\n"; #`rm -f $TMP/tlplace.new $TMP/tlplace.old $TMP/tlplace.diff`; } |