diff options
| author | Jim Kingdon <jkingdon@engr.sgi.com> | 1995-02-17 00:00:53 +0000 |
|---|---|---|
| committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1995-02-17 00:00:53 +0000 |
| commit | f7ef65ff727f0af31fef54a4c9ee9edcf12bcfc2 (patch) | |
| tree | c495b7b27f1c3086c06f2432bb58ff56b3f9e259 /gdb/testsuite/lib | |
| parent | b596295f13f75a8c712ddc848cf61dcd7d820150 (diff) | |
| download | gdb-f7ef65ff727f0af31fef54a4c9ee9edcf12bcfc2.zip gdb-f7ef65ff727f0af31fef54a4c9ee9edcf12bcfc2.tar.gz gdb-f7ef65ff727f0af31fef54a4c9ee9edcf12bcfc2.tar.bz2 | |
* lib/gdb.exp: Just use "file exists", rather than undocumented
dejagnu procedure "findfile".
Diffstat (limited to 'gdb/testsuite/lib')
| -rw-r--r-- | gdb/testsuite/lib/gdb.exp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gdb/testsuite/lib/gdb.exp b/gdb/testsuite/lib/gdb.exp index 31cdc4e..efd0910 100644 --- a/gdb/testsuite/lib/gdb.exp +++ b/gdb/testsuite/lib/gdb.exp @@ -25,7 +25,11 @@ global GDB if ![info exists GDB] then { - set GDB [findfile $base_dir/../gdb $base_dir/../gdb [transform gdb ]] + if [file exists $base_dir/../gdb] then { + set GDB $base_dir/../gdb + } else { + set GDB [transform gdb] + } } global GDBFLAGS |