19 Apr
2009
19 Apr
'09
4:34 p.m.
Johnny W
Then, while still logged in as root, set the system-wide default by
# mpi-selector --system openmpi-1.2.7-gcc-x86_64
A slight correction is needed here - the command should be: mpi-selector --system --set openmpi-1.2.7-gcc-x86_64 (I forgot the "--set" part when I wrote the first reply)