Gilles Gouaillardet b9315edb85 configury: remove the --disable-mpi-io option ... Fixes open-mpi/ompi#2185 Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>		2017-09-20 14:39:09 +09:00
..
Makefile.am	configury: remove the --disable-mpi-io option	2017-09-20 14:39:09 +09:00