From 35362c49665ddcaf7e6b9dbe0b40b341d4931112 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 26 Jun 2012 19:15:09 +0200 Subject: [PATCH] Remove obsolete command line arguments from help. --- src/xbt/log.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/xbt/log.c b/src/xbt/log.c index a5b33d8ac0..cb2fd79a45 100644 --- a/src/xbt/log.c +++ b/src/xbt/log.c @@ -287,10 +287,6 @@ manually. A more conventional way is to use the --log command line argument. xbt_init() (called by MSG_init(), gras_init() and friends) checks and deals properly with such arguments. -The following command line arguments exist, but are deprecated and -may disappear in the future: --xbt-log, --gras-log, --msg-log and ---surf-log. - \subsection log_use_conf_thres 3.1.1 Threshold configuration The most common setting is to control which logging event will get -- 2.20.1