[OMPI devel] -report-pid

[Eugene Loh]

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.