diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | runtest.exp | 2 |
2 files changed, 7 insertions, 0 deletions
@@ -1,5 +1,10 @@ 2018-10-31 Jacob Bachmeyer <jcb62281@gmail.com> + * runtest.exp (load_tool_init): Add message indicating the + expected location of the tool init file. + +2018-10-31 Jacob Bachmeyer <jcb62281@gmail.com> + * contrib/sum2junit.sh (failures): Fix typo. 2018-10-31 Jacob Bachmeyer <jcb62281@gmail.com> 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 } { |