#1667: ExternalLibraries/MPI should report error messages ---------------------+------------------------------------------------------ Reporter: hinder | Owner: Type: defect | Status: new Priority: minor | Milestone: Component: Cactus | Version: development version Resolution: | Keywords: MPI ---------------------+------------------------------------------------------
Comment (by eschnett):
Steve -- please don't change the behaviour. Many of the well-tested option lists depend on it. Also, how can the current case 5 then be specified?