summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorLarry Knox <lrknox@hdfgroup.org>2022-11-28 19:20:24 (GMT)
committerGitHub <noreply@github.com>2022-11-28 19:20:24 (GMT)
commitcf232a757fb7500f6c0bf3ed7b7eaaa4be724c1d (patch)
treed4f7ede2ce594ca96cbf61b6c25f175ed539e29b /tools
parent158dff6b503436e275777d293c0bfc1d9714eaa0 (diff)
downloadhdf5-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