diff options
| author | Andrew Burgess <andrew.burgess@embecosm.com> | 2019-03-08 10:21:21 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2019-03-08 10:21:21 +1100 |
| commit | df67223e4be99527fbeab66394f52c420d7f88f1 (patch) | |
| tree | cb517632207a3cebe1ebae38079e8b64ec02d981 /lib | |
| parent | 7017c2a06836be28bdbc2b4135f19fa122fee8fd (diff) | |
| download | dejagnu-df67223e4be99527fbeab66394f52c420d7f88f1.zip dejagnu-df67223e4be99527fbeab66394f52c420d7f88f1.tar.gz dejagnu-df67223e4be99527fbeab66394f52c420d7f88f1.tar.bz2 | |
* runtest.exp (search_and_load_file): Join the directory and
filename once using 'file join'.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions