diff options
author | Tom Lane <tgl@sss.pgh.pa.us> | 2015-12-11 16:14:27 -0500 |
---|---|---|
committer | Tom Lane <tgl@sss.pgh.pa.us> | 2015-12-11 16:14:40 -0500 |
commit | 1ebe75a2cc5ef8db20cd04098bb9b8d1593209f7 (patch) | |
tree | 59b360b7910ae830f75712838773dc51f59d71de | |
parent | 260590e6b2fb958de79edc07d9222a39ba5913e5 (diff) |
Install our "missing" script where PGXS builds can find it.
This allows sane behavior in a PGXS build done on a machine where build
tools such as bison are missing.
Jim Nasby
-rw-r--r-- | config/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/Makefile b/config/Makefile index da1283868ea..67e7998f556 100644 --- a/config/Makefile +++ b/config/Makefile @@ -7,9 +7,11 @@ 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' |