diff options
Diffstat (limited to 'config/Makefile')
| -rw-r--r-- | config/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/config/Makefile b/config/Makefile new file mode 100644 index 0000000..67e7998 --- /dev/null +++ b/config/Makefile @@ -0,0 +1,17 @@ +# config/Makefile + +subdir = config +top_builddir = .. +include $(top_builddir)/src/Makefile.global + + +install: all installdirs + $(INSTALL_SCRIPT) $(srcdir)/install-sh '$(DESTDIR)$(pgxsdir)/config/install-sh' + $(INSTALL_SCRIPT) $(srcdir)/missing '$(DESTDIR)$(pgxsdir)/config/missing' + +installdirs: + $(MKDIR_P) '$(DESTDIR)$(pgxsdir)/config' + +uninstall: + rm -f '$(DESTDIR)$(pgxsdir)/config/install-sh' + rm -f '$(DESTDIR)$(pgxsdir)/config/missing' |