From df63bcbb7a78c645f76ff0fdb96b30a64e57eef5 Mon Sep 17 00:00:00 2001 From: schnorr Date: Thu, 14 Jun 2012 22:13:37 +0200 Subject: [PATCH] [trace] correctly generating viva categorized configuration --- src/instr/instr_config.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c index cff2e0a81d..d8014a43de 100644 --- a/src/instr/instr_config.c +++ b/src/instr/instr_config.c @@ -532,9 +532,9 @@ static void generate_cat_configuration (const char *output, const char *name, in "configuration (categorized).", output, name); } - fprintf (file, "{\n"); + if (brackets) fprintf (file, "{\n"); cat_configuration (file); - fprintf (file, "}\n"); + if (brackets) fprintf (file, "}\n"); fclose (file); } } -- 2.20.1