diff options
| author | Tom Lane | 2015-12-11 21:14:27 +0000 |
|---|---|---|
| committer | Tom Lane | 2015-12-11 21:15:05 +0000 |
| commit | dccf8e9e608824ce15d3b2d7ee63afbf1147c5e9 (patch) | |
| tree | 45c4bf8b72c693f111f57bd8578f56cf8f7ae921 | |
| parent | 833728d4c8832f1d37e7aeaa723c8bc4045df32e (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' |