diff options
Diffstat (limited to 'src/make.configuration.defn')
| -rw-r--r-- | src/make.configuration.defn | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/make.configuration.defn b/src/make.configuration.defn index 8848131..0028cfb 100644 --- a/src/make.configuration.defn +++ b/src/make.configuration.defn @@ -1,7 +1,2 @@ # make.configuration.defn for IOHDF5Util # $Header$ - -# Ensure that the HDF5 library is available -ifeq ($(strip $(HAVE_HDF5)),) - $(error 'IOHDF5Util requires an external HDF5 installation. Please reconfigure with HDF5=yes or remove IOHDF5Util from the ThornList !') -endif |