diff options
| author | Doug Evans <dje@google.com> | 2011-12-14 20:53:57 +0000 |
|---|---|---|
| committer | Doug Evans <dje@google.com> | 2011-12-14 20:53:57 +0000 |
| commit | 0b6cb71e500807ed48bc5317bb7ec03b073fc0a0 (patch) | |
| tree | 876bb7834ffd9b4d1c81f8b97feb39731a6a6664 /gdb/defs.h | |
| parent | afaabefa90aba4f0e37e7ed865ccd64b66dfa354 (diff) | |
| download | gdb-0b6cb71e500807ed48bc5317bb7ec03b073fc0a0.zip gdb-0b6cb71e500807ed48bc5317bb7ec03b073fc0a0.tar.gz gdb-0b6cb71e500807ed48bc5317bb7ec03b073fc0a0.tar.bz2 | |
* defs.h (wait_to_die_with_timeout): Declare.
* utils.c: #include "gdb_wait.h".
(sigalrm_handler, wait_to_die_with_timeout): New functions.
* ser-pipe.c: Don't #include "gdb_wait.h".
(pipe_close): Give child a chance to die on its own after closing
its stdin before SIGTERM'ing it.
Diffstat (limited to 'gdb/defs.h')
| -rw-r--r-- | gdb/defs.h | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -440,6 +440,10 @@ extern struct cleanup *make_bpstat_clear_actions_cleanup (void); extern int producer_is_gcc_ge_4 (const char *producer); +#ifdef HAVE_WAITPID +extern pid_t wait_to_die_with_timeout (pid_t pid, int *status, int timeout); +#endif + /* Annotation stuff. */ |