diff options
author | Mike Frysinger <vapier@gentoo.org> | 2009-07-20 15:24:55 +0000 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2009-07-20 15:24:55 +0000 |
commit | a156a290642281359c8dc0c949fdd942826455a1 (patch) | |
tree | da58d7ff7a9397f6b007b1c7cf274b85e90522b3 /gdb/tui | |
parent | b4d1e8c7001940584b7e63af5411535e42785690 (diff) | |
download | gdb-a156a290642281359c8dc0c949fdd942826455a1.zip gdb-a156a290642281359c8dc0c949fdd942826455a1.tar.gz gdb-a156a290642281359c8dc0c949fdd942826455a1.tar.bz2 |
fix gdbtui build errors when pipe() is not available (e.g. mingw targets)
* configure.ac (AC_CHECK_FUNCS): Check for pipe.
* config.in, configure: Regenerate.
* tui/tui-io.c (TUI_USE_PIPE_FOR_READLINE): Define if HAVE_PIPE.
Diffstat (limited to 'gdb/tui')
-rw-r--r-- | gdb/tui/tui-io.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c index 56e9dba..a597f37 100644 --- a/gdb/tui/tui-io.c +++ b/gdb/tui/tui-io.c @@ -113,7 +113,9 @@ key_is_command_char (int ch) #undef TUI_USE_PIPE_FOR_READLINE. */ /* For gdb 5.3, prefer to continue the pipe hack as a backup wheel. */ +#ifdef HAVE_PIPE #define TUI_USE_PIPE_FOR_READLINE +#endif /* #undef TUI_USE_PIPE_FOR_READLINE */ /* TUI output files. */ |