Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[trace] correctly generating viva categorized configuration
authorschnorr <Lucas.Schnorr@imag.fr>
Thu, 14 Jun 2012 20:13:37 +0000 (22:13 +0200)
committerschnorr <Lucas.Schnorr@imag.fr>
Thu, 14 Jun 2012 20:14:05 +0000 (22:14 +0200)
src/instr/instr_config.c

index cff2e0a..d8014a4 100644 (file)
@@ -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);
   }
 }