Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[DOC] Update exception/cutpath option
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Fri, 10 Jun 2016 08:51:21 +0000 (10:51 +0200)
committerChristian Heinrich <franz-christian.heinrich@inria.fr>
Fri, 10 Jun 2016 08:51:21 +0000 (10:51 +0200)
doc/doxygen/options.doc

index 461b360..98ebf9d 100644 (file)
@@ -1054,6 +1054,10 @@ when \b verbose-exit is set to 0 (it is to 1 by default).
 
 \subsection options_exception_cutpath Truncate local path from exception backtrace
 
+\verbatim
+--cfg=exceptions/cutpath:1
+\endverbatim
+
 <b>This configuration option is an internal option and should normally not be used
 by the user.</b> It is used to remove the path from the backtrace
 shown when an exception is thrown; if we didn't remove this part, the tests