Subject: [OMPI devel] -report-pid
From: Eugene Loh (Eugene.Loh_at_[hidden])
Date: 2009-09-23 15:14:26
The mpirun man page says that -report-pid should take a <channel>
argument that should be '+', '-', or a filename. Is that really true?
I guess I'd ask the same about -report-uri, but mpirun doesn't seem to
recognize that one at all.