diff options
| -rw-r--r-- | HDF5.sh | 4 | ||||
| -rw-r--r-- | dist/hdf5-1.8.3.tar.gz | bin | 7175884 -> 0 bytes | |||
| -rw-r--r-- | dist/hdf5-1.8.4.tar.gz | bin | 0 -> 7181176 bytes |
3 files changed, 2 insertions, 2 deletions
@@ -9,7 +9,7 @@ set -x # Output commands set -e # Abort on errors # Set locations -NAME=hdf5-1.8.3 +NAME=hdf5-1.8.4 SRCDIR=$(dirname $0) INSTALL_DIR=${SCRATCH_BUILD} HDF5_DIR=${INSTALL_DIR}/${NAME} @@ -56,7 +56,7 @@ unset MAKEFLAGS make install popd - : > done-${NAME} + echo 'done' > done-${NAME} echo "HDF5: Done." fi ) diff --git a/dist/hdf5-1.8.3.tar.gz b/dist/hdf5-1.8.3.tar.gz Binary files differdeleted file mode 100644 index 8ff102d..0000000 --- a/dist/hdf5-1.8.3.tar.gz +++ /dev/null diff --git a/dist/hdf5-1.8.4.tar.gz b/dist/hdf5-1.8.4.tar.gz Binary files differnew file mode 100644 index 0000000..b7c8bcf --- /dev/null +++ b/dist/hdf5-1.8.4.tar.gz |