On Nov 1, 2019, at 10:14 AM, Reuti <re...@staff.uni-marburg.de<mailto:re...@staff.uni-marburg.de>> 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 jsquy...@cisco.com<mailto:jsquy...@cisco.com>
