23 Jan
2013
23 Jan
'13
3:52 p.m.
On Jan 23, 2013, at 3:46 PM CST, Jed Brown wrote:
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.
I can add a special "MPIDI_CH3I_sock_with_fixed_nbc_progress" symbol (or whatever) for you as soon as it's fixed. -Dave