fixed where we put addition of openmpi path to PATH to /etc/bash.bashrc from /etc/profile as /etc/profile only sourced for login shells
fixed where we put
addition of openmpi path to PATH to /etc/bash.bashrc from /etc/profile
as /etc/profile only sourced for login shells

ucberkeley/bce