From 9712e9b69da18f664d51ce81323234f18494fdd3 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 16 Oct 2017 23:26:46 +0200 Subject: [PATCH] Variable may be unused. --- src/xbt/log.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/xbt/log.c b/src/xbt/log.c index 3ec0c9cea1..9738053597 100644 --- a/src/xbt/log.c +++ b/src/xbt/log.c @@ -405,7 +405,7 @@ static int fake_xbt_log_cat_init(xbt_log_category_t category, e_xbt_log_priority return 0; } #define DISABLE_XBT_LOG_CAT_INIT() \ - int (*_xbt_log_cat_init)(xbt_log_category_t, e_xbt_log_priority_t) = fake_xbt_log_cat_init; + int (*_xbt_log_cat_init)(xbt_log_category_t, e_xbt_log_priority_t) XBT_ATTRIB_UNUSED = fake_xbt_log_cat_init; static void _xbt_log_cat_apply_set(xbt_log_category_t category, xbt_log_setting_t setting) { -- 2.20.1