diff options
Diffstat (limited to 'gdb/infptrace.c')
| -rw-r--r-- | gdb/infptrace.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/infptrace.c b/gdb/infptrace.c index 6147cbe8964..5df9f6d9507 100644 --- a/gdb/infptrace.c +++ b/gdb/infptrace.c @@ -208,6 +208,7 @@ ptrace_wait (ptid_t ptid, int *status) return wstate; } +#ifndef KILL_INFERIOR void kill_inferior (void) { @@ -229,6 +230,7 @@ kill_inferior (void) ptrace_wait (null_ptid, &status); target_mourn_inferior (); } +#endif /* KILL_INFERIOR */ #ifndef CHILD_RESUME |