diff --git a/configure b/configure index 12d292baf..de36e580e 100755 --- a/configure +++ b/configure @@ -2533,7 +2533,7 @@ if test -z "$version_num"; then as_fn_error $? "Could not detect PostgreSQL version from pg_config." "$LINENO" 5 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 as_fn_error $? "Citus is not compatible with the detected PostgreSQL version ${version_num}." "$LINENO" 5 else { $as_echo "$as_me:${as_lineno-$LINENO}: building against PostgreSQL $version_num" >&5