| 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
|
|
|
|
|
|
|