On Nov 2, 2010, at 4:57 AM, jody wrote:

> So i guess the basic question is:
>  is it permitted to rename openMPI installations, and if yes how is
> this porperly done (since a simple mv doesn't work)

Yes: http://www.open-mpi.org/faq/?category=building#installdirs

-- 
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to:
http://www.cisco.com/web/about/doing_business/legal/cri/

Reply via email to