external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add postgres 13 to configure.in (#4088)

pull/3913/head
SaitTalhaNisanci 2020-08-05 11:36:55 +03:00 committed by GitHub
parent 3d1fd08fcf
commit 7378ab6bf8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
configure.in
View File

@ -74,7 +74,7 @@ if test -z "$version_num"; then
AC_MSG_ERROR([Could not detect PostgreSQL version from pg_config.])
fi
if test "$version_num" != '11' -a "$version_num" != '12'; then
if test "$version_num" != '11' -a "$version_num" != '12' -a "$version_num" != '13'; then
AC_MSG_ERROR([Citus is not compatible with the detected PostgreSQL version ${version_num}.])
else
AC_MSG_NOTICE([building against PostgreSQL $version_num])