Re: [PATCH v2 1/2] Improve gdb_remote_download, remove gdb_download

Pedro Alves
2016-04-05T17:57:01Z

On 04/05/2016 06:54 PM, Simon Marchi wrote:
> On 16-04-05 01:47 PM, Pedro Alves wrote:

>> Shouldn't this be, "When the DEST is remote, we simply send the
>> file to DEST" ?.
>
> Right.
>
>>>
>>> -# gdb_download
>>> -#
>>> -# Copy a file to the remote target and return its target filename.
>>> -# Schedule the file to be deleted at the end of this test.
>>> + set destname [remote_download target $fromfile $tofile]
>>
>> and thus here be "remote_download $dest" ?
>
> Right. I tested this procedure with a remote host, but with the target being
> the same as the host, so it was working anyway...
>
> Fixed.

OK with those fixed then.

Thanks,
Pedro Alves