diff options
Diffstat (limited to 'src/make.configuration.defn')
| -rw-r--r-- | src/make.configuration.defn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/make.configuration.defn b/src/make.configuration.defn index 5c9bf8e..dd46bb1 100644 --- a/src/make.configuration.defn +++ b/src/make.configuration.defn @@ -1,7 +1,8 @@ -# make.configuration.defn file for thorn HDF5 +# make.configuration.defn file for thorn HDF5 # 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 # Ignore some of the utilities that we don't use, e.g. the compiler # wrappers: |