Summary of changes: 0db0de6... Use HDF5_Make_Ignore=yes to ignore make check errors (*) 0ca3d5c... disable openmpi for ARM as we currently don't have it (*) (*) This commit already existed in another branch; no separate mail sent