Gilles Gouaillardet 4932391002 ompi/proc: fix ompi_proc_finalize() ... revert bits of open-mpi/ompi@cf534d0c95 we cannot del_procs here since the pml framework has already been closed Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>		2017-01-12 11:41:35 +09:00
..
Makefile.am	Revert "Update to sync with OMPI master and cleanup to build"	2016-11-22 15:03:20 -08:00
proc.c	ompi/proc: fix ompi_proc_finalize()	2017-01-12 11:41:35 +09:00
proc.h	Revert "Update to sync with OMPI master and cleanup to build"	2016-11-22 15:03:20 -08:00