Hi!
While turning on openmpi for s390x please do so for x32 as well.  The mpi
default has just been switched to openmpi there.

-- 
A tit a day keeps the vet away.

Reply via email to