open-mpi: Fix `brew install`ing Open MPI `--with-java`. #27577

Closed

RandomDSdevel wants to merge 1 commit intoHomebrew:masterfrom

RandomDSdevel:fix-Open-MPI-Java-binding-configure-toolchain-path-handling

Commits on May 16, 2018

Formula/open-mpi.rb: Fix `brew install`ing Open MPI `--with-java`.
RandomDSdevel
committed