diff options
| author | Mark Kettenis <kettenis@gnu.org> | 2003-01-04 01:03:41 +0000 |
|---|---|---|
| committer | Mark Kettenis <kettenis@gnu.org> | 2003-01-04 01:03:41 +0000 |
| commit | 8ee5372653a683f676a39db4d513b0ff9c64d852 (patch) | |
| tree | a6b6bfb8c83c094b157eb92c3691b552e7e6348d /config-ml.in | |
| parent | b39c905ef8addd20526e661bfb14044085243b69 (diff) | |
| download | gdb-8ee5372653a683f676a39db4d513b0ff9c64d852.zip gdb-8ee5372653a683f676a39db4d513b0ff9c64d852.tar.gz gdb-8ee5372653a683f676a39db4d513b0ff9c64d852.tar.bz2 | |
* configure.in: Move code that provides the --enable-gdbtk option
right after the code that handles the --enable-tui option, and
polish it somewhat.
* configure: Regenerated.
Diffstat (limited to 'config-ml.in')
0 files changed, 0 insertions, 0 deletions