gdb/ChangeLog:
2018-09-10 Eli Zaretskii <eliz@gnu.org>
* Makefile.in (transformed_name): Use INSTALL_SCRIPT instead of
INSTALL_PROGRAM to install gdb-add-index.sh. Don't append
$(EXEEXT) to the script, as it is not a program.
+2018-09-10 Eli Zaretskii <eliz@gnu.org>
+
+ * Makefile.in (transformed_name): Use INSTALL_SCRIPT instead of
+ INSTALL_PROGRAM to install gdb-add-index.sh. Don't append
+ $(EXEEXT) to the script, as it is not a program.
+
2018-09-05 Joel Brobecker <brobecker@adacore.com>
* version.in: Set GDB version number to 8.2.0.DATE-git.
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
install-strip: