Overview
Request 744766 accepted
- Fix file list from previous change: use /%{ompi_ver}/ as the
openmpi directory instead of the no longer existing /openmpi/.
- Created by badshah400
- In state accepted
Loading...
Login required, please
login
in order to comment
Request History
badshah400 created request
- Fix file list from previous change: use /%{ompi_ver}/ as the
openmpi directory instead of the no longer existing /openmpi/.
anag accepted request