From 58643a409851376d05e49346f11391067abe8ae2 Mon Sep 17 00:00:00 2001
From: Sait Talha Nisanci <s.talhanisanci@gmail.com>
Date: Sat, 16 May 2020 21:29:03 +0300
Subject: [PATCH] Enable postgres 13 in configure

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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