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.