From e8c5a60cc988e48bc26eb6ce2069dbda424753f6 Mon Sep 17 00:00:00 2001
From: Brian Barrett <brbarret@open-mpi.org>
Date: Fri, 6 Aug 2004 21:18:34 +0000
Subject: [PATCH] * add (useless?) timing comment

This commit was SVN r1938.
---
 src/runtime/runtime.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/runtime/runtime.h b/src/runtime/runtime.h
index fceea54c88..0c38a7b260 100644
--- a/src/runtime/runtime.h
+++ b/src/runtime/runtime.h
@@ -95,6 +95,8 @@ extern "C" {
   /**
    * Finalize the Open MPI MPI environment
    *
+   * Should be called after all MPI functionality is complete (usually
+   * during MPI_FINALIZE) and before \c ompi_rte_finalize().
    */
   int ompi_mpi_finalize(void);