#832: ExternalLibraries/zlib gives bad error message if "patch" is not available ------------------------------------+--------------------------------------- Reporter: hinder | Owner: Type: defect | Status: closed Priority: minor | Milestone: Component: EinsteinToolkit thorn | Version: Resolution: fixed | Keywords: ------------------------------------+--------------------------------------- Changes (by eschnett):
* status: reviewed_ok => closed * resolution: => fixed
Comment:
Using ${PATCH?} and ${TAR?} in all configuration scripts.