| Index: tools/test.py
|
| ===================================================================
|
| --- tools/test.py (revision 6095)
|
| +++ tools/test.py (working copy)
|
| @@ -1181,6 +1181,8 @@
|
| 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 @@
|
| 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
|
|
|
|
|
|
|