
19 Apr
2009
19 Apr
'09
10:34 a.m.
Johnny W <jwahnstroem <at> gmail.com> writes:
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)