summaryrefslogtreecommitdiff
path: root/src/backend/catalog/genbki.pl
diff options
context:
space:
mode:
authorTom Lane2016-08-15 17:49:49 +0000
committerTom Lane2016-08-15 17:49:49 +0000
commitca9112a424ff68ec4f2ef67b47122f7d61412964 (patch)
treeda13d4eead313a32e53849ea0b7dd1de9a00fb29 /src/backend/catalog/genbki.pl
parentb5bce6c1ec6061c8a4f730d927e162db7e2ce365 (diff)
Stamp HEAD as 10devel.
This is a good bit more complicated than the average new-version stamping commit, because it includes various adjustments in pursuit of changing from three-part to two-part version numbers. It's likely some further work will be needed around that change; but this is enough to get through the regression tests, at least in Unix builds. Peter Eisentraut and Tom Lane
Diffstat (limited to 'src/backend/catalog/genbki.pl')
-rw-r--r--src/backend/catalog/genbki.pl4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/backend/catalog/genbki.pl b/src/backend/catalog/genbki.pl
index 54a14e5dc36..26d165203dc 100644
--- a/src/backend/catalog/genbki.pl
+++ b/src/backend/catalog/genbki.pl
@@ -43,8 +43,8 @@ while (@ARGV)
elsif ($arg =~ /^--set-version=(.*)$/)
{
$major_version = $1;
- die "Version must be in format nn.nn.\n"
- if !($major_version =~ /^\d+\.\d+$/);
+ die "Invalid version string.\n"
+ if !($major_version =~ /^\d+$/);
}
else
{