Re: [ANNOUNCEMENT] GDB 8.2 released!

[Eli Zaretskii <eliz at gnu dot org>]

> From: Tom Tromey <tom@tromey.com>
> Cc: gdb-patches@sourceware.org, mjw@redhat.com
> Date: Sun, 09 Sep 2018 12:36:44 -0600
> 
> Eli> Running "make -C gdb install-strip" fails:
> 
> Eli>      /bin/sh /d/gnu/gdb-8.2/install-sh -c -s ./contrib/gdb-add-index.sh \
> Eli> 	     d:/usr/test-gdb-8.2/bin/$transformed_name.exe
> Eli>      d:\usr\bin\strip.exe:d:/usr/test-gdb-8.2/bin/_inst.8116_: file format not recognized
> 
> Eli> It fails because Makefile attempts to invoke 'strip' on a shell
> Eli> script.  I couldn't find any way to get past that except by hacking
> Eli> gdb/Makefile to remove the offending portion, then installing that
> Eli> shell script manually.  How does this work on Posix hosts?
> 
> gdb defines:
> 
>     INSTALL_SCRIPT = @INSTALL_SCRIPT@
> 
> ... but install-only does not use it for gdb-add-index.sh.
> I think this is just a bug.  It is used properly for gcore.
> 
> 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.

Thanks for the other answers.