diff options
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/ChangeLog | 6 | ||||
| -rw-r--r-- | gdb/Makefile.in | 4 |
2 files changed, 8 insertions, 2 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 96b28b0..7b0ef2e 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,9 @@ +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 diff --git a/gdb/Makefile.in b/gdb/Makefile.in index c76a4e4..d49f3ee 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -1765,8 +1765,8 @@ install-only: $(CONFIG_INSTALL) 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: |