From fe48509ebc6cceac7e7c21a2d0010b9d6fac5b45 Mon Sep 17 00:00:00 2001 From: Pietro Incardona <incardon@mpi-cbg.de> Date: Mon, 24 Jul 2017 16:30:03 +0200 Subject: [PATCH] Fixing marking HDF5 --- script/install_HDF5.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/install_HDF5.sh b/script/install_HDF5.sh index 70d46d1ab..8406f0beb 100755 --- a/script/install_HDF5.sh +++ b/script/install_HDF5.sh @@ -46,6 +46,6 @@ else CC=mpicc ./configure --enable-parallel --prefix=$1/HDF5 fi make -j $2 -echo 1 > $1/HDF5/version mkdir $1/HDF5 make install +echo 1 > $1/HDF5/version -- GitLab