diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2012-12-01 16:04:44 -0500 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2012-12-01 16:04:44 -0500 |
| commit | 53a1c31237298e4aeedc4f9926678505bf417d94 (patch) | |
| tree | 22b81efa5ad33641616bc9006828c894982347ad /src | |
| parent | af09efda128173b2eb273e1882435baba2115aef (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
Diffstat (limited to 'src')
| -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 318d5ef3070..fd6473fd910 100644 --- a/src/makefiles/pgxs.mk +++ b/src/makefiles/pgxs.mk @@ -146,6 +146,9 @@ endif # MODULE_big installdirs: +ifneq (,$(EXTENSION)) + $(MKDIR_P) '$(DESTDIR)$(datadir)/extension' +endif ifneq (,$(DATA)$(DATA_built)) $(MKDIR_P) '$(DESTDIR)$(datadir)/$(datamoduledir)' endif |