From 49600dd9f828e20cb948baf96236fb52c78d2943 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 22 May 2012 16:41:55 +0200
Subject: [PATCH] continued

---
 system/config_default.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/system/config_default.py b/system/config_default.py
index 622db0e..19bb8f4 100644
--- a/system/config_default.py
+++ b/system/config_default.py
@@ -404,6 +404,9 @@ def sfa (options,index) :
         'SFA_PLC_PASSWORD' : 'test++',
 # use -c sfadebug to increment this one
         'SFA_API_LOGLEVEL': 1,
+# use -c sfavoid to set this to 'void'
+        'SFA_GENERIC_FLAVOUR' : 'pl',
+        'SFA_AGGREGATE_ENABLED' : 'true',
         # details of the slices to create
         'sfa_slice_specs' : [ sfa_slice_spec(options,index,rspec_style) 
                               for rspec_style in options.rspec_styles ]
-- 
2.43.0