Merge branch 'master' of github.com:pgpartman/pg_partman

pgpartman · Jan 5, 2024 · 61b2beb · 61b2beb
2 parents 2e84f9f + e85e5bf
commit 61b2beb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -2,7 +2,7 @@ EXTENSION = pg_partman
 EXTVERSION = $(shell grep default_version $(EXTENSION).control | \
                sed -e "s/default_version[[:space:]]*=[[:space:]]*'\([^']*\)'/\1/")
 
-PG_CONFIG = pg_config
+PG_CONFIG ?= pg_config
 PG_VER = $(shell $(PG_CONFIG) --version | sed "s/^[^ ]* \([0-9]*\).*$$/\1/" 2>/dev/null)
 
 PG_VER_min = 14