Adam Borowski Wed, 10 Feb 2016 15:30:19 -0800
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.