diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2012-12-01 16:04:50 -0500 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2012-12-01 16:04:50 -0500 |
| commit | 04f91ae5d0caa5faae7100eac3b0ade6f84e1e9e (patch) | |
| tree | 03c6248dcaa0fb556015eb68d709de0cf4875971 | |
| parent | 1b4359b55d8fe32a54460c3ea00567a2fafa6b9c (diff) | |
Make sure sharedir/extension/ directory is created when needed.
The previous coding worked as long as MODULEDIR wasn't set explicitly,
because we create sharedir/$(datamoduledir) and the default value of
that is "extension". But if some other value is specified for MODULEDIR
then the installation directory needed for the control file wasn't made.
Cédric Villemain
| -rw-r--r-- | src/makefiles/pgxs.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/makefiles/pgxs.mk b/src/makefiles/pgxs.mk index 8b089e7a761..30c4b573e40 100644 --- a/src/makefiles/pgxs.mk +++ b/src/makefiles/pgxs.mk @@ -136,6 +136,9 @@ endif # MODULE_big installdirs: +ifneq (,$(EXTENSION)) + $(MKDIR_P) '$(DESTDIR)$(datadir)/extension' +endif ifneq (,$(DATA)$(DATA_built)) $(MKDIR_P) '$(DESTDIR)$(datadir)/$(datamoduledir)' endif |