diff options
-rwxr-xr-x | makerelease | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/makerelease b/makerelease index da16eb63..78a397ba 100755 --- a/makerelease +++ b/makerelease @@ -99,6 +99,8 @@ if ($rcsid eq '<workfile>') { } else { system("rcsdiff -u -r$oldid -r$rcsid RCS/* 2>/dev/null >DIFFS.$$"); } +print "Diff size:"; +system("wc <DIFFS.$$"); rename("PREAMBLE.$$", "RELEASE.NOTES"); system("chown esr RELEASE.NOTES"); |