[ANNOUNCEMENT] GDB 8.2 released!

Message ID 87r2i2316p.fsf@tromey.com
State New, archived
Headers

Commit Message

Tom Tromey Sept. 9, 2018, 7:45 p.m. UTC
  >>>>> "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
  

Patch

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