diff options
author | bala <balanatarajan@users.noreply.github.com> | 2001-12-18 22:48:14 +0000 |
---|---|---|
committer | bala <balanatarajan@users.noreply.github.com> | 2001-12-18 22:48:14 +0000 |
commit | 68366c20c5b30bdf2d4db38daa23c62f1a559b04 (patch) | |
tree | d83829651ce9b4c51e0ab17b0b7d4ec76ed74889 /bin | |
parent | 98097f3e4ee4670c1c0ce50932a38d9467217898 (diff) | |
download | ATCD-68366c20c5b30bdf2d4db38daa23c62f1a559b04.tar.gz |
ChangeLogTag: Tue Dec 18 22:05:04 2001 Balachandran Natarajan <bala@cs.wustl.edu>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/make_release | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bin/make_release b/bin/make_release index 71024de0c0d..8195ef7118b 100755 --- a/bin/make_release +++ b/bin/make_release @@ -315,6 +315,17 @@ if ($update_versions && "$kit" ne 'ace+tao') { my $minor_v = $2; my $beta_v = $3; + ## There is a small problem here and was reported by Don + ## Hinton<don@gmx.net> . The problem is that + ## $previous_version = "$major_v.$minor_v.$previous_beta"; + ## // and hence if $previous_beta == 0 then the current beta + ## == 1 and so $previous_version == "X.Y.0" + ## &diff ('ACE_wrappers', "ACE-$previous_version", "$ace_tag"); + ## // so "ACE-$previous_version" == "ACE-X.Y.0" + ## Which gets sent to cvs as "ACE-X_Y_0" but since the real + ## tag is "ACE-X_Y", rdiff doesn't find anything. This problem + ## needs fixing. Will fix this when we get time. + #### $previous_version is used by diff (). if ($beta_v > 0) { my $previous_beta = $beta_v - 1; |