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.
> users mailing list
Server Virtualization Business Unit