From 2885a82f962b6f72f3a3e334ddbf1cf65ec696a0 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 26 Dec 2011 01:30:44 +0100 Subject: [PATCH] placeholder for the configuration items related to the tracing subsystem --- doc/options.doc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/options.doc b/doc/options.doc index 9ff5f6c32d..7ded23d5e7 100644 --- a/doc/options.doc +++ b/doc/options.doc @@ -339,6 +339,10 @@ which value is either: machine for no good reason. You probably prefer the other less eager schemas. +\section options_tracing Configuring the tracing subsystem + +(TODO) + \section options_smpi Configuring SMPI The SMPI interface provides several specific configuration items. @@ -377,8 +381,6 @@ when the simulation ends. If you set the \b smpi/display_timing item to 1, \c smpirun will display this information when the simulation ends. \verbatim Simulation time: 1e3 seconds. \endverbatim - - \section options_generic Configuring other aspects of SimGrid -- 2.20.1