Index: tools/test.py |
diff --git a/tools/test.py b/tools/test.py |
index 810f8f6394d89b31b00a22a55a050e8c5622210c..7348c62280fb2ec540fc74f7916b862caa313413 100755 |
--- a/tools/test.py |
+++ b/tools/test.py |
@@ -1181,6 +1181,8 @@ def BuildOptions(): |
result.add_option("--crankshaft", |
help="Run with the --crankshaft flag", |
default=False, action="store_true") |
+ result.add_option("--noprof", help="Disable profiling support", |
+ default=False) |
return result |
@@ -1220,6 +1222,9 @@ def ProcessOptions(options): |
options.special_command += " --crankshaft" |
else: |
options.special_command = "@--crankshaft" |
+ if options.noprof: |
+ options.scons_flags.append("prof=off") |
+ options.scons_flags.append("profilingsupport=off") |
return True |