23 Jan
2013
23 Jan
'13
3:46 p.m.
On Wed, Jan 23, 2013 at 3:42 PM, Dave Goodell <[email protected]> wrote:
I think checking of the "MPIDI_CH3I_sock_errno_to_mpi_errno" symbol should be unique enough to detect ch3:sock.
Thanks, I'll add this test and combine it with a version check (unless there's something better) once the bug is fixed.