Re: [ET Trac] [Einstein Toolkit] #832: ExternalLibraries/zlib gives bad error message if "patch" is not available

#832: ExternalLibraries/zlib gives bad error message if "patch" is not available ------------------------------------+--------------------------------------- Reporter: hinder | Owner: Type: defect | Status: new Priority: minor | Milestone: Component: EinsteinToolkit thorn | Version: Resolution: | Keywords: ------------------------------------+---------------------------------------

Comment (by eschnett):

I suggest using ${PATCH?}.