[Bug-dejagnu] PATCH: add message reporting tool init file search

[Jacob Bachmeyer]

This adds a message reporting the expected location of the tool init file.

---
ChangeLog   |    3 +++
runtest.exp |    2 ++
2 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index b95963b..d1e2267 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -13,6 +13,9 @@
       if the --tool option is not given, so this had no effect earlier.
       * testsuite/lib/libdejagnu.exp: New empty file.

+       * runtest.exp (load_tool_init): Add message indicating the
+       expected location of the tool init file.
+
2018-10-30  Ben Elliston  <address@hidden>

       * Makefile.am (DISTCLEANFILES): Add testrun.xml.
diff --git a/runtest.exp b/runtest.exp
index 5a45eeb..183a48e 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 } {
--


-- Jacob