Gilles Gouaillardet <gil...@rist.or.jp> writes:

> Dave,
>
>
> i made PR #1644 to abort with a user friendly error message
>
> https://github.com/open-mpi/ompi/pull/1644

Thanks.  Could there be similar cases that might be worth a change?

Reply via email to