Re: [PATCH] gdbserver-base.exp: Copy file to standard output directory in ${board}_download

Pedro Alves
2016-04-12T18:08:46Z

On 04/12/2016 06:48 PM, Simon Marchi wrote:

> proc ${board}_download { board host dest } {
> + file copy -force $host [standard_output_file $dest]
> return $host
> }

I think this should be:

set dest [standard_output_file $dest]
file copy -force $host $dest
return $dest

Don't we need to consider the case of $dest being an absolute path?

Thanks,
Pedro Alves