<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 23, 2013 at 3:42 PM, Dave Goodell <span dir="ltr"><<a href="mailto:goodell@mcs.anl.gov" target="_blank">goodell@mcs.anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":2xb">I think checking of the "MPIDI_CH3I_sock_errno_to_mpi_errno" symbol should be unique enough to detect ch3:sock.</div>
</blockquote></div><br>Thanks, I'll add this test and combine it with a version check (unless there's something better) once the bug is fixed.</div></div>