On Nov 1, 2019, at 10:14 AM, Reuti 
<[email protected]<mailto:[email protected]>> wrote:

For the most part, this whole thing needs to get documented.

Especially that the colon is a disallowed character in the directory name. Any 
suffix :foo will just be removed AFAICS without any error output about foo 
being an unknown option.

That does seem like a bug.  Added to 
https://github.com/open-mpi/ompi/issues/7133.

--
Jeff Squyres
[email protected]<mailto:[email protected]>

Reply via email to