diff options
| -rw-r--r-- | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 2b1fd95..d209412 100644 --- a/configure.sh +++ b/configure.sh @@ -48,7 +48,7 @@ fi ################################################################################ if [ -z "${HDF5_DIR}" \ - -o "$(echo "${HDF5_DIR}" | tr '[a-z]' '[A-Z]')" = 'BUILD' ] + -o "$(echo "${HDF5_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] then echo "BEGIN MESSAGE" echo "HDF5 selected, but HDF5_DIR not set. Checking some places..." |