1
1
openmpi/ompi/tools
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
..
mpisync configury: use 'uname -n' when 'hostname' is not available 2017-06-12 15:04:32 +09:00
ompi_info configury: remove the --disable-mpi-io option 2017-09-20 14:39:09 +09:00
wrappers java: Use correct date/version in mpijava man page 2017-05-31 17:24:49 +09:00
Makefile.am Revert "Update to sync with OMPI master and cleanup to build" 2016-11-22 15:03:20 -08:00