Re: [ANNOUNCEMENT] GDB 8.2 released!

Eli Zaretskii
2018-09-09T19:49:11Z

> Date: Sun, 09 Sep 2018 22:24:38 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> CC: gdb-patches@sourceware.org, mjw@redhat.com
>
> > I didn't try the obvious patch, but maybe you could?
>
> If you tell me what is the obvious patch, I will certainly try it.

Errr... you mean the patch below? That works.

--- gdb/Makefile.in~ 2018-09-05 10:44:28.000000000 +0300
+++ gdb/Makefile.in 2018-09-09 22:46:39.696000000 +0300
@@ -1768,8 +1768,8 @@
else \
true ; \
fi ; \
- $(INSTALL_PROGRAM) $(srcdir)/contrib/gdb-add-index.sh \
- $(DESTDIR)$(bindir)/$$transformed_name$(EXEEXT)
+ $(INSTALL_SCRIPT) $(srcdir)/contrib/gdb-add-index.sh \
+ $(DESTDIR)$(bindir)/$$transformed_name
@$(MAKE) DO=install "DODIRS=$(SUBDIRS)" $(FLAGS_TO_PASS) subdir_do