diff options
author | Tom Lane | 2009-08-19 15:03:56 +0000 |
---|---|---|
committer | Tom Lane | 2009-08-19 15:03:56 +0000 |
commit | 268455011fbf98ba7ba3dbcd2cd12fe6f82fcc90 (patch) | |
tree | 181e1c309287205d49b9ca521c93c43278ceaf83 | |
parent | 344f994c6d3067b763958e567473fd6e73e89bfa (diff) |
Fix version_stamp.pl to allow 'alphaN' version stamps. Not sure how
Peter did that without fixing this ...
-rwxr-xr-x | src/tools/version_stamp.pl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/tools/version_stamp.pl b/src/tools/version_stamp.pl index 07915bebb7..0ab11dc5a0 100755 --- a/src/tools/version_stamp.pl +++ b/src/tools/version_stamp.pl @@ -17,7 +17,7 @@ # Usage: cd to top of source tree and issue # src/tools/version_stamp.pl MINORVERSION # where MINORVERSION can be a minor release number (0, 1, etc), or -# "devel", "betaN", "rcN". +# "devel", "alphaN", "betaN", "rcN". # # Major version is hard-wired into the script. We update it when we branch @@ -35,6 +35,9 @@ if ($minor =~ m/^\d+$/) { } elsif ($minor eq "devel") { $dotneeded = 0; $numericminor = 0; +} elsif ($minor =~ m/^alpha\d+$/) { + $dotneeded = 0; + $numericminor = 0; } elsif ($minor =~ m/^beta\d+$/) { $dotneeded = 0; $numericminor = 0; @@ -42,7 +45,7 @@ if ($minor =~ m/^\d+$/) { $dotneeded = 0; $numericminor = 0; } else { - die "$0: minor-version must be N, devel, betaN, or rcN\n"; + die "$0: minor-version must be N, devel, alphaN, betaN, or rcN\n"; } # Create various required forms of the version number |