diff options
Diffstat (limited to 'gdb/procfs.c')
| -rw-r--r-- | gdb/procfs.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gdb/procfs.c b/gdb/procfs.c index 1897bf4..2e8e11f 100644 --- a/gdb/procfs.c +++ b/gdb/procfs.c @@ -1250,12 +1250,11 @@ unconditionally_kill_inferior (pi) ppid = pi->prstatus.pr_ppid; signo = SIGKILL; - ioctl (pi->fd, PIOCKILL, &signo); #ifdef PROCFS_NEED_PIOCSSIG_FOR_KILL - /* Alpha OSF/1 procfs needs an additional PIOCSSIG call with - a SIGKILL signal to kill the inferior, otherwise it might remain - stopped with a pending SIGKILL. + /* Alpha OSF/1 procfs needs a PIOCSSIG call with a SIGKILL signal + to kill the inferior, otherwise it might remain stopped with a + pending SIGKILL. We do not check the result of the PIOCSSIG, the inferior might have died already. */ { @@ -1269,6 +1268,8 @@ unconditionally_kill_inferior (pi) newsiginfo.si_uid = getuid (); ioctl (pi->fd, PIOCSSIG, &newsiginfo); } +#else + ioctl (pi->fd, PIOCKILL, &signo); #endif close_proc_file (pi); |