dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Ben Elliston
Subject: Re: [PATCH 1/2] Use 'file join' to concatenate directory and filename
Date: Fri, 8 Mar 2019 10:04:39 +1100
User-agent: Mutt/1.9.4 (2018-02-28)

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]