diff options
| author | Mark Kettenis <kettenis@gnu.org> | 2003-01-02 20:12:29 +0000 |
|---|---|---|
| committer | Mark Kettenis <kettenis@gnu.org> | 2003-01-02 20:12:29 +0000 |
| commit | 627af7eaa242631623390a8d7acfc117221e16ec (patch) | |
| tree | 2bcfbaff99ca71f932be3e5707934d544d1f68cd /gdb/Makefile.in | |
| parent | 071742cf9703a573f453fc827bb93a7acda856ac (diff) | |
| download | gdb-627af7eaa242631623390a8d7acfc117221e16ec.zip gdb-627af7eaa242631623390a8d7acfc117221e16ec.tar.gz gdb-627af7eaa242631623390a8d7acfc117221e16ec.tar.bz2 | |
* configure.in: Move code that provides the --enable-gdbcli,
--enable-gdbmi options right before the code that handles the
--enable-tui option. Polish a bit.
* configure: Regenerated.
Diffstat (limited to 'gdb/Makefile.in')
0 files changed, 0 insertions, 0 deletions