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: