diff options
| author | Jacob Bachmeyer <jcb62281@gmail.com> | 2018-10-31 21:41:52 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-10-31 21:41:52 +1100 |
| commit | a8a1219619ff54d30cf4c70e8376489f7aeef761 (patch) | |
| tree | 4b21c0cee059bd215e5a627ae11c3db6dbc991d7 /runtest.exp | |
| parent | f056f1bd5018a4fdb491c21bc88506c29f26cdd9 (diff) | |
| download | dejagnu-a8a1219619ff54d30cf4c70e8376489f7aeef761.zip dejagnu-a8a1219619ff54d30cf4c70e8376489f7aeef761.tar.gz dejagnu-a8a1219619ff54d30cf4c70e8376489f7aeef761.tar.bz2 | |
* runtest.exp (load_tool_init): Add message indicating the
expected location of the tool init file.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'runtest.exp')
| -rw-r--r-- | runtest.exp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtest.exp b/runtest.exp index 5a45eeb..84e3e6b 100644 --- a/runtest.exp +++ b/runtest.exp @@ -935,6 +935,8 @@ proc load_tool_init { file } { set loaded_libs($file) "" + verbose "Looking for tool init file $srcdir/lib/$file" + if {[file exists [file join ${srcdir} lib $file]]} { verbose "Loading library file ${srcdir}/lib/$file" if { [catch "uplevel #0 source ${srcdir}/lib/$file"] == 1 } { |