diff options
Diffstat (limited to 'shells/bash53/files/patch-Makefile.in')
| -rw-r--r-- | shells/bash53/files/patch-Makefile.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/shells/bash53/files/patch-Makefile.in b/shells/bash53/files/patch-Makefile.in deleted file mode 100644 index cfd72e4d9bdd..000000000000 --- a/shells/bash53/files/patch-Makefile.in +++ /dev/null @@ -1,12 +0,0 @@ ---- Makefile.in.orig 2025-07-06 15:36:39 UTC -+++ Makefile.in -@@ -923,7 +923,9 @@ install: .made installdirs - infodir=$(infodir) htmldir=$(htmldir) DESTDIR=$(DESTDIR) $@ ) - -( cd $(DEFDIR) ; $(MAKE) $(BASH_MAKEFLAGS) DESTDIR=$(DESTDIR) $@ ) - -( cd $(PO_DIR) ; $(MAKE) $(BASH_MAKEFLAGS) DESTDIR=$(DESTDIR) $@ ) -+.if !$(STATIC_LD:M-static) - -( cd $(LOADABLES_DIR) && $(MAKE) $(BASH_MAKEFLAGS) DESTDIR=$(DESTDIR) $@ ) -+.endif - - install-strip: - $(MAKE) $(BASH_MAKEFLAGS) INSTALL_PROGRAM='$(INSTALL_STRIP_PROGRAM)' \ |