[PATCH] remote-stdio-gdbserver: Pass "target" to remote_exec to delete file

[Simon Marchi]

On 2018-03-06 10:54, Simon Marchi wrote:
> As described here
> 
>   https://sourceware.org/bugzilla/show_bug.cgi?id=22841
> 
> there seems to be situations where the remote-stdio-gdbserver board
> fails to delete the uploaded binary file.  Passing "target" fixes the
> issue for Christian who reported the bug.
> 
> I did not experience this problem, but passing "target" to remote_exec
> still works for me, so I'm fine with changing it.
> 
> Any objection?


I pushed this patch along with

https://sourceware.org/ml/gdb-patches/2018-03/msg00021.html

since it's in the same boat.

Simon