-@@ -3789,7 +3792,7 @@
- if (last.kind == TARGET_WAITKIND_FORKED
- || last.kind == TARGET_WAITKIND_VFORKED)
- {
-- ptrace (PT_KILL, ptid_get_pid (last.value.related_pid), 0, 0);
-+ ptrace (PTRACE_KILL, ptid_get_pid (last.value.related_pid), 0, 0);
- wait (&status);
-
- /* Let the arch-specific native code know this process is