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