wutils.py
changeset 4388 fd90dd412e67
parent 4332 a1c7bc503a0c
child 4583 384117906219
--- a/wutils.py	Tue Apr 21 10:55:07 2009 +0100
+++ b/wutils.py	Tue Apr 21 11:13:19 2009 +0100
@@ -114,9 +114,9 @@
 
     return proc_env
 
-def run_argv(argv, env, os_env=None, cwd=None):
+def run_argv(argv, env, os_env=None, cwd=None, force_no_valgrind=False):
     proc_env = get_proc_env(os_env)
-    if Options.options.valgrind:
+    if Options.options.valgrind and not force_no_valgrind:
         if Options.options.command_template:
             raise Utils.WafError("Options --command-template and --valgrind are conflicting")
         if not env['VALGRIND']: