diff options
Diffstat (limited to 'configure.sh')
-rw-r--r-- | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 1d47810..a26d360 100644 --- a/configure.sh +++ b/configure.sh @@ -130,7 +130,7 @@ then # Set locations THORN=HDF5 - NAME=hdf5-1.8.12 + NAME=hdf5-1.8.13 SRCDIR=$(dirname $0) BUILD_DIR=${SCRATCH_BUILD}/build/${THORN} if [ -z "${HDF5_INSTALL_DIR}" ]; then |