Fixing HDF5

4f086a7c · Pietro Incardona · c9d1beea · 4f086a7c
Commit 4f086a7c authored 7 years ago by Pietro Incardona
--- a/script/install_HDF5.sh
+++ b/script/install_HDF5.sh
 #! /bin/bash

+source script/discover_os
+
+discover_os
+
 # check if the directory $1/HDF5 exist

 if [ -d "$1/HDF5" ]; then