From 855c447ec9ed92b1b1d0c763eff2fbbabcadd8fa Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Tue, 16 Jun 2015 00:46:27 +0200 Subject: [PATCH 1/1] useful error message when requesting for the debug log level while using -DNDEBUG --- src/xbt/log.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) 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 { -- 2.20.1