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.in | |
| 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/[email protected]
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 78902fb60db..b27708e336c 100644 --- a/configure.in +++ b/configure.in @@ -2322,7 +2322,7 @@ AC_DEFINE_UNQUOTED(PG_VERSION_STR, # 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}'`"] AC_DEFINE_UNQUOTED(PG_VERSION_NUM, $PG_VERSION_NUM, [PostgreSQL version as a number]) AC_SUBST(PG_VERSION_NUM) |