add a --disable-io-ompio option#2020

jsquyres merged 1 commit intoopen-mpi:masteropen-mpi/ompi:masterfrom

ggouaillardet:topic/disable_io_ompioggouaillardet/ompi:topic/disable_io_ompioCopy head branch name to clipboard