Commit bcc38306 authored by incardon's avatar incardon
Browse files

Making stronger HDF5 detection

parent 7885f4ba
Pipeline #862 failed with stages
in 7 minutes and 27 seconds
......@@ -6,7 +6,7 @@ discover_os
# check if the directory $1/HDF5 exist
if [ -d "$1/HDF5" ]; then
if [ -d "$1/HDF5" -a -f "$1/HDF5/include/hdf5.h" ]; then
echo "HDF5 is already installed"
exit 0
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment