> Cc: gdb-patc...@sourceware.org
> From: Pedro Alves <pal...@redhat.com>
> Date: Fri, 19 May 2017 16:36:46 +0100
> 
> So I wonder whether we could just unconditionally remove the waitpid
> replacement instead.

That's probably the best path forward.

Reply via email to