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 /runtest.exp | |
parent | 4c3512a5587c6e3746a35f592ec8f4cacc7630fa (diff) |
* runtest.exp (load_lib): Whitespace fix.
Diffstat (limited to 'runtest.exp')
-rw-r--r-- | runtest.exp | 2 |
1 files changed, 1 insertions, 1 deletions
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" |