diff options
| author | Ben Elliston <bje@gnu.org> | 2018-11-15 15:17:26 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-11-15 15:17:26 +1100 |
| commit | d6c157c0a8498dc5ae49f40f47c29f72369d05e2 (patch) | |
| tree | da3f21b401eab01a75476d9efcb5dae2cbfc825f | |
| parent | 4c3512a5587c6e3746a35f592ec8f4cacc7630fa (diff) | |
| download | dejagnu-d6c157c0a8498dc5ae49f40f47c29f72369d05e2.tar.gz dejagnu-d6c157c0a8498dc5ae49f40f47c29f72369d05e2.tar.bz2 dejagnu-d6c157c0a8498dc5ae49f40f47c29f72369d05e2.zip | |
* runtest.exp (load_lib): Whitespace fix.
| -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" |