#425: Case sensitivity GSL_DIR=BUILD -----------------------------------------+---------------------------------- Reporter: reisswig@… | Owner: Type: enhancement | Status: review Priority: minor | Milestone: Component: Cactus | Version: Resolution: | Keywords: GSL_DIR BUILD -----------------------------------------+----------------------------------
Comment (by eschnett):
build3.patch works; ignore the previous two.