Many thanks!
I'll commit this to the trunk shortly. It is unfortunately too late
to make it into v1.2. :-( We'll get it in a future release.
On Mar 1, 2007, at 6:44 AM, Götz Waschk wrote:
> Hi everybody,
>
> first I'd like to introduce myself, my name is Götz Waschk and I'm
> working at DESY in the computing department.
>
> The default shell here is /bin/zsh. mpirun has support for setting
> PATH and LD_LIBRARY_PATH for a list of known shells (bash, ksh, csh,
> ...) but not for zsh.
>
> This patch against openmpi 1.2beta4 adds zsh to the known shells, it
> is interpreted as sh compatible.
>
> Regards, Götz Waschk
>
>
>
> --
> AL I:40: Do what thou wilt shall be the whole of the Law.
> <openmpi-1.2b4-zsh.patch>
> _______________________________________________
> users mailing list
> users_at_[hidden]
> http://www.open-mpi.org/mailman/listinfo.cgi/users
--
Jeff Squyres
Server Virtualization Business Unit
Cisco Systems
|