diff options
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 } { |