diff options
| author | Michael Snyder <msnyder@vmware.com> | 2001-05-24 19:54:41 +0000 |
|---|---|---|
| committer | Michael Snyder <msnyder@vmware.com> | 2001-05-24 19:54:41 +0000 |
| commit | 0816a3e5d54d579ffcd88cefeabf734e1a0da4c2 (patch) | |
| tree | dc21beb2ad6a4a47aa065295607a8aa5245efab7 /gdb/rdi-share | |
| parent | 2caa35cb88a53794723bf0d6126ff6dae112753f (diff) | |
| download | gdb-0816a3e5d54d579ffcd88cefeabf734e1a0da4c2.zip gdb-0816a3e5d54d579ffcd88cefeabf734e1a0da4c2.tar.gz gdb-0816a3e5d54d579ffcd88cefeabf734e1a0da4c2.tar.bz2 | |
2001-05-24 Michael Snyder <msnyder@redhat.com>
* gdb.threads/pthreads.exp (all_threads_running): Add an explicit
test for (full_coverage == 0). This makes the test run faster,
and prevents dejagnu getting out of step.
Diffstat (limited to 'gdb/rdi-share')
0 files changed, 0 insertions, 0 deletions