From: Martin Quinson Date: Mon, 15 Jun 2015 22:46:27 +0000 (+0200) Subject: useful error message when requesting for the debug log level while using -DNDEBUG X-Git-Tag: v3_12~600 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/855c447ec9ed92b1b1d0c763eff2fbbabcadd8fa?hp=9c5bf90e5d5afd43baf314cb79b03c20a012d5cb useful error message when requesting for the debug log level while using -DNDEBUG --- diff --git a/src/xbt/log.c b/src/xbt/log.c index 7cde20d0b8..032f1eeb61 100644 --- a/src/xbt/log.c +++ b/src/xbt/log.c @@ -1137,9 +1137,12 @@ static xbt_log_setting_t _xbt_log_parse_setting(const char *control_string) } if(ithresh = (e_xbt_log_priority_t) i; } else {