This is an alias "openmpi" => "open-mpi". Seemed useful to me. Closes Homebrew/homebrew#8613. Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
Paul van der Walt