diff options
Diffstat (limited to 'contrib/oid2name')
| -rw-r--r-- | contrib/oid2name/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/oid2name/Makefile b/contrib/oid2name/Makefile index 77b72880f5b..908e078714b 100644 --- a/contrib/oid2name/Makefile +++ b/contrib/oid2name/Makefile @@ -9,6 +9,8 @@ OBJS = oid2name.o $(WIN32RES) PG_CPPFLAGS = -I$(libpq_srcdir) PG_LIBS_INTERNAL = $(libpq_pgport) +EXTRA_CLEAN = tmp_check + ifdef USE_PGXS PG_CONFIG = pg_config PGXS := $(shell $(PG_CONFIG) --pgxs) |