nicer name for hdf5 config file

diff --git a/deal.II-toolchain/packages/netcdf.package b/deal.II-toolchain/packages/netcdf.package
index d92a4cb46c4758f0fa5fd5a3079c10c82e9e7329..24bd2c11345b1d0759e4b79d77fa5fb8f4259277 100644 (file)
--- a/deal.II-toolchain/packages/netcdf.package
+++ b/deal.II-toolchain/packages/netcdf.package
@@ -18,7 +18,7 @@ package_specific_register () {
 
 package_specific_conf () {
     # Generate configuration file
-    CONFIG_FILE=${CONFIGURATION_PATH}/${NAME}
+    CONFIG_FILE=${CONFIGURATION_PATH}/netcdf-${NAME}
     rm -f $CONFIG_FILE
     echo "
 export NETCDF_DIR=${INSTALL_PATH}