diff options
Diffstat (limited to 'shells/bash/files')
| -rw-r--r-- | shells/bash/files/patch-Makefile.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/shells/bash/files/patch-Makefile.in b/shells/bash/files/patch-Makefile.in new file mode 100644 index 000000000000..ca7dcf193f02 --- /dev/null +++ b/shells/bash/files/patch-Makefile.in @@ -0,0 +1,12 @@ +--- Makefile.in.orig 2018-05-25 12:47:09 UTC ++++ Makefile.in +@@ -824,7 +824,9 @@ install: .made installdirs + infodir=$(infodir) htmldir=$(htmldir) DESTDIR=$(DESTDIR) $@ ) + -( cd $(DEFDIR) ; $(MAKE) $(MFLAGS) DESTDIR=$(DESTDIR) $@ ) + -( cd $(PO_DIR) ; $(MAKE) $(MFLAGS) DESTDIR=$(DESTDIR) $@ ) ++.if !$(STATIC_LD:M-static) + -( cd $(LOADABLES_DIR) && $(MAKE) $(MFLAGS) DESTDIR=$(DESTDIR) $@ ) ++.endif + + install-strip: + $(MAKE) $(MFLAGS) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' \ |