[OMPI devel] configure patch

[Elan Ruusamäe]

hi

please consider applying this patch
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SOURCES/openmpi-ksh.patch

fixes build process when /bin/sh is not bash (for example pdksh)

-- 
glen