Re: [ANNOUNCEMENT] GDB 8.2 released!

Tom Tromey
2018-09-09T19:45:27Z

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Eli> If you tell me what is the obvious patch, I will certainly try it.

Sorry about that. It's appended

Tom

diff --git a/gdb/Makefile.in b/gdb/Makefile.in
index 3117bf74094..45f98327842 100644
--- a/gdb/Makefile.in
+++ b/gdb/Makefile.in
@@ -1767,7 +1767,7 @@ install-only: $(CONFIG_INSTALL)
else \
true ; \
fi ; \
- $(INSTALL_PROGRAM) $(srcdir)/contrib/gdb-add-index.sh \
+ $(INSTALL_SCRIPT) $(srcdir)/contrib/gdb-add-index.sh \
$(DESTDIR)$(bindir)/$$transformed_name$(EXEEXT)
@$(MAKE) DO=install "DODIRS=$(SUBDIRS)" $(FLAGS_TO_PASS) subdir_do