diff options
author | Tom Lane | 2020-03-10 16:46:07 +0000 |
---|---|---|
committer | Tom Lane | 2020-03-10 16:46:07 +0000 |
commit | dbf05a14399430751e54cd0b4bd8fb0e4f1fb309 (patch) | |
tree | ce6c0af2e363d0842069fc0312e86c8f21a8a4eb /configure | |
parent | d01f03a495294f726001a90ec27a675428d9fc45 (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-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |