diff options
Diffstat (limited to 'devel/gdb/files/extrapatch-gdb-tui-tui-io.c')
| -rw-r--r-- | devel/gdb/files/extrapatch-gdb-tui-tui-io.c | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/devel/gdb/files/extrapatch-gdb-tui-tui-io.c b/devel/gdb/files/extrapatch-gdb-tui-tui-io.c deleted file mode 100644 index 540a0a7cce81..000000000000 --- a/devel/gdb/files/extrapatch-gdb-tui-tui-io.c +++ /dev/null @@ -1,17 +0,0 @@ ---- ./gdb/tui/tui-io.c.orig 2013-12-08 04:33:14.000000000 +0000 -+++ ./gdb/tui/tui-io.c 2014-03-01 22:20:33.000000000 +0000 -@@ -128,10 +128,10 @@ - struct ui_out *tui_old_uiout; - - /* Readline previous hooks. */ --static Function *tui_old_rl_getc_function; --static VFunction *tui_old_rl_redisplay_function; --static VFunction *tui_old_rl_prep_terminal; --static VFunction *tui_old_rl_deprep_terminal; -+static rl_getc_func_t *tui_old_rl_getc_function; -+static rl_voidfunc_t *tui_old_rl_redisplay_function; -+static rl_voidfunc_t *tui_old_rl_prep_terminal; -+static rl_voidfunc_t *tui_old_rl_deprep_terminal; - static int tui_old_rl_echoing_p; - - /* Readline output stream. |