diff options
| -rw-r--r-- | src/make.configuration.defn | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/make.configuration.defn b/src/make.configuration.defn index 8e3fc2c..4ef79b0 100644 --- a/src/make.configuration.defn +++ b/src/make.configuration.defn @@ -2,7 +2,11 @@ # Define standard HDF5 utilities ALL_UTILS += gif2h5 h52gif h5copy h5debug h5diff h5dump h5import h5jam h5ls h5mkgrp h5perf_serial h5redeploy h5repack h5repart h5stat h5unjam -#ALL_UTILS += h5check + +# Install h5check only if it exists +ifneq ($(wildcard $(HDF5_DIR)/bin/h5check*),) +ALL_UTILS += h5check +endif # Ignore some of the utilities that we don't use, e.g. the compiler # wrappers: |