# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1435914624 -7200
# Node ID e07deb07289db660bac3bc6421a769264ca9929f
# Parent  1f8d1f64e5d167a7c23b0b8cd1ff8d8dc54f41ae
path to plugins

diff -r 1f8d1f64e5d1 -r e07deb07289d GenerateConfigurationForTests.py
--- a/GenerateConfigurationForTests.py	Thu Jul 02 14:41:27 2015 +0200
+++ b/GenerateConfigurationForTests.py	Fri Jul 03 11:10:24 2015 +0200
@@ -40,6 +40,9 @@
                     help = 'Overwrite the file even if it already exists',
                     action = 'store_true')
 
+parser.add_argument('--plugins', 
+                    help = 'Add a path to a folder containing plugins')
+
 args = parser.parse_args()
 
 
@@ -85,6 +88,10 @@
 # Enable case-insensitive PN (the default on versions <= 0.8.6)
 config = re.sub(r'("CaseSensitivePN"\s*:)\s*true', r'\1 false', config) 
 
+if args.plugins != None:
+    config = re.sub(r'("Plugins"\s*:\s*\[)', r'\1 "%s"' % args.plugins, config)
+   
+
 with open(args.target, 'wt') as f:
     f.write(config)