Re: [ET Trac] [Einstein Toolkit] #1897: Many ExternalLibraries thorns build when they shouldn't

#1897: Many ExternalLibraries thorns build when they shouldn't ------------------------------------+--------------------------------------- Reporter: hinder | Owner: eschnett Type: defect | Status: assigned Priority: blocker | Milestone: ET_2016_05 Component: EinsteinToolkit thorn | Version: development version Resolution: | Keywords: MPI ------------------------------------+---------------------------------------

Comment (by eschnett):

I committed corrections; please test.