Re: [ET Trac] [Einstein Toolkit] #1010: ExternalLibraries/MPI should check that MPI_DIR points to a valid directory