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-09 Simon Marchi <simon.marchi@ericsson.com>
* python/py-prettyprint.c (pretty_print_one_value): Return
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: