aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--HDF5.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/HDF5.sh b/HDF5.sh
index 9b67b96..9589656 100644
--- a/HDF5.sh
+++ b/HDF5.sh
@@ -45,7 +45,9 @@ fi
# Search
################################################################################
-if [ -z "${HDF5_DIR}" ]; then
+if [ -z "${HDF5_DIR}" \
+ -o "$(echo "${HDF5_DIR}" | tr '[a-z]' '[A-Z]')" = 'BUILD' ]
+then
echo "BEGIN MESSAGE"
echo "HDF5 selected, but HDF5_DIR not set. Checking some places..."
echo "END MESSAGE"