Re: [PATCH] Disable gdbserver on host != target configurations (Re: [PATCH] Move gdbserver to top level)

Tom Tromey
2020-02-11T15:29:44Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> gdbserver/ChangeLog:
Pedro> yyyy-mm-dd Pedro Alves <palves@redhat.com>

Pedro> * configure.srv: Set UNSUPPORTED if $target != $host.

Thanks for doing this. I like this approach, because it keeps the
decision confined to gdbserver.

Please push it.

Tom