diff options
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | runtest.exp | 2 |
2 files changed, 5 insertions, 1 deletions
@@ -1,3 +1,7 @@ +2018-11-15 Ben Elliston <bje@gnu.org> + + * runtest.exp (load_lib): Whitespace fix. + 2018-11-11 Jacob Bachmeyer <jcb62281@gmail.com> * lib/ssh.exp: Clean up whitespace. diff --git a/runtest.exp b/runtest.exp index 84e3e6b..c7beeb3 100644 --- a/runtest.exp +++ b/runtest.exp @@ -596,7 +596,7 @@ proc load_lib { file } { set loaded_libs($file) "" set search_dirs [list ../lib $libdir $libdir/lib [file dirname [file dirname $srcdir]]/dejagnu/lib $srcdir/lib $execpath/lib . [file dirname [file dirname [file dirname $srcdir]]]/dejagnu/lib] if {[info exists libdirs]} { - lappend search_dirs $libdirs + lappend search_dirs $libdirs } if { [search_and_load_file "library file" $file $search_dirs ] == 0 } { send_error "ERROR: Couldn't find library file $file.\n" |