From 4afb9d4c94277b2e529101c20ba9c127c266b442 Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Fri, 24 Jun 2022 15:36:37 +0200 Subject: [PATCH] skip pg version check in ci --- ci/build-citus.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/build-citus.sh b/ci/build-citus.sh index 49f92e691..a88dad830 100755 --- a/ci/build-citus.sh +++ b/ci/build-citus.sh @@ -33,7 +33,7 @@ build_ext() { # do everything in a subdirectory to avoid clutter in current directory mkdir -p "${builddir}" && cd "${builddir}" - CFLAGS=-Werror "${basedir}/configure" PG_CONFIG="/usr/lib/postgresql/${pg_major}/bin/pg_config" --enable-coverage --with-security-flags + CFLAGS=-Werror "${basedir}/configure" PG_CONFIG="/usr/lib/postgresql/${pg_major}/bin/pg_config" --enable-coverage --with-security-flags --without-pg-version-check installdir="${builddir}/install" make -j$(nproc) && mkdir -p "${installdir}" && { make DESTDIR="${installdir}" install-all || make DESTDIR="${installdir}" install ; }