#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):
"set -u" is probably too rigorous, because many people will leave e.g. HDF5_LIB_DIRS undefined if they want it to be empty.
We could set PATCH, TAR, etc. to "false" in configure. This way they will always be defined, and will return an error when they are used.