diff options
| author | Jeff Johnston <jjohnstn@redhat.com> | 2002-12-16 20:03:17 +0000 |
|---|---|---|
| committer | Jeff Johnston <jjohnstn@redhat.com> | 2002-12-16 20:03:17 +0000 |
| commit | da81390ba627de5fee7615d00f2116253c65a5a4 (patch) | |
| tree | b7f1e24a2e9f15d0b091fc0e1dabb0c9db4ccaa0 /gdb/maint.c | |
| parent | c029e1474f293df3f3ca99c6ad7180ee7e1ca2a2 (diff) | |
| download | gdb-da81390ba627de5fee7615d00f2116253c65a5a4.zip gdb-da81390ba627de5fee7615d00f2116253c65a5a4.tar.gz gdb-da81390ba627de5fee7615d00f2116253c65a5a4.tar.bz2 | |
2002-12-16 Jeff Johnston <jjohnstn@redhat.com>
* lib/mi-support.exp (mi_reinitialize_dir): Check mi level
to see whether we are using the new -environment-directory
command which resets via -r or the old version of the command
which may prompt the user. Part of fix for gdb/741.
Diffstat (limited to 'gdb/maint.c')
0 files changed, 0 insertions, 0 deletions