diff options
| author | Larry Knox <lrknox@hdfgroup.org> | 2022-11-28 19:20:24 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-28 19:20:24 (GMT) |
| commit | cf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d (patch) | |
| tree | d4f7ede2ce594ca96cbf61b6c25f175ed539e29b /tools | |
| parent | 158dff6b503436e275777d293c0bfc1d9714eaa0 (diff) | |
| download | hdf5-cf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d.zip hdf5-cf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d.tar.gz hdf5-cf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d.tar.bz2 | |
Develop fix ubuntu 22.04 openmpi install on github (#2268)
* Update install openmpi-bin to also install mpi-default-dev instead of
libopenmpi-dev. This according to
https://bugs.launchpad.net/ubuntu/+source/openmpi/+bug/1870780.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions