Re: [ET Trac] [Einstein Toolkit] #1794: Backport MPI detect.pl changes from development to release version

#1794: Backport MPI detect.pl changes from development to release version ---------------------+------------------------------------------------------ Reporter: hinder | Owner: Type: defect | Status: reviewed_ok Priority: major | Milestone: Component: Other | Version: development version Resolution: | Keywords: backport ---------------------+------------------------------------------------------ Changes (by rhaas):

* status: review => reviewed_ok

Comment:

Fine with me.