diff options
author | Peter Eisentraut <peter@eisentraut.org> | 2022-08-31 07:42:01 +0200 |
---|---|---|
committer | Peter Eisentraut <peter@eisentraut.org> | 2022-08-31 07:42:01 +0200 |
commit | 7d5852ca83f4103d806ee7501f70b9354345f65d (patch) | |
tree | 9348ffea0f4cc71b9679413871f6a7d07d2cce63 /src | |
parent | 8acd8f8690ed10f421a54e9b3fb6d49f2ce226f8 (diff) |
plpython: Don't create pgxsdir subdirectory in installdir target
As of db23464715f4792298c639153dda7bfd9ad9d602, we don't install
anything there anymore from plpython, so we don't need to create the
installation directory anymore.
Diffstat (limited to 'src')
-rw-r--r-- | src/pl/plpython/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pl/plpython/Makefile b/src/pl/plpython/Makefile index 0d6f74de71f..6b1865c2402 100644 --- a/src/pl/plpython/Makefile +++ b/src/pl/plpython/Makefile @@ -110,7 +110,7 @@ $(OBJS): | submake-generated-headers install: all install-lib install-data installdirs: installdirs-lib - $(MKDIR_P) '$(DESTDIR)$(datadir)/extension' '$(DESTDIR)$(includedir_server)' '$(DESTDIR)$(pgxsdir)/src/pl/plpython' + $(MKDIR_P) '$(DESTDIR)$(datadir)/extension' '$(DESTDIR)$(includedir_server)' uninstall: uninstall-lib uninstall-data |