#832: ExternalLibraries/zlib gives bad error message if "patch" is not available ------------------------------------+--------------------------------------- Reporter: hinder | Owner: Type: defect | Status: reviewed_ok Priority: minor | Milestone: Component: EinsteinToolkit thorn | Version: Resolution: | Keywords: ------------------------------------+---------------------------------------
Comment (by eschnett):
I expect that most configuration variables are optional, and thus explicitly setting them to empty if they are unset would be inconvenient.