summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorTom Lane2020-03-10 16:46:07 +0000
committerTom Lane2020-03-10 16:46:07 +0000
commitdbf05a14399430751e54cd0b4bd8fb0e4f1fb309 (patch)
treece6c0af2e363d0842069fc0312e86c8f21a8a4eb /configure
parentd01f03a495294f726001a90ec27a675428d9fc45 (diff)
Avoid portability problem introduced in 0a42a2e9c.
Apparently not all shells handle nested quotes quite the same. But we don't need the inner double quotes in this case, so just drop them. Discussion: https://postgr.es/m/50ecb345-4dc5-1f7d-64ca-7018195fcc8d@2ndquadrant.com
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index d6d3f26d03..1a0aca941b 100755
--- a/configure
+++ b/configure
@@ -18887,7 +18887,7 @@ _ACEOF
# Supply a numeric version string for use by 3rd party add-ons
# awk -F is a regex on some platforms, and not on others, so make "." a tab
-PG_VERSION_NUM="`echo "$PG_MAJORVERSION $PG_MINORVERSION" |
+PG_VERSION_NUM="`echo $PG_MAJORVERSION $PG_MINORVERSION |
$AWK '{printf "%d%04d", $1, $2}'`"
cat >>confdefs.h <<_ACEOF