Re: [PATCH 1/2] Use 'file join' to concatenate directory and filename

Thu, 07 Mar 2019 15:29:27 -0800 

On Thu, Mar 07, 2019 at 02:01:56PM +0000, Andrew Burgess wrote:

>       * runtest.exp (search_and_load_file): Join the directory and
>       filename once using 'file join'.

Thanks, this is fine.

Ben

Attachment: signature.asc
Description: PGP signature

_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu

Reply via email to