diff --git a/script/install_HDF5.sh b/script/install_HDF5.sh index 49271d92ca24471f8bf7dae424b1b14fb01ccc2b..4874e0310039fea7763805f63f0cb9f9ef5e384c 100755 --- a/script/install_HDF5.sh +++ b/script/install_HDF5.sh @@ -7,7 +7,7 @@ if [ -d "$1/HDF5" ]; then exit 0 fi -if [ ! -d "$1/ZLIB" ]; then +if [ ! -d "$1/ZLIB" -a x"$platform" != x"cygwin" ]; then rm zlib1211.tar.gz rm -rf zlib-1.2.11 wget https://zlib.net/zlib-1.2.11.tar.gz