Revision 1584
Added by Aaron Marcuse-Kubitza almost 13 years ago
| bin/map | ||
|---|---|---|
| 306 | 306 |
profile_to = opts.get_env_var('profile_to', None)
|
| 307 | 307 |
if profile_to != None: |
| 308 | 308 |
import cProfile |
| 309 |
sys.stderr.write('Profiling to '+profile_to+'\n')
|
|
| 309 | 310 |
cProfile.run(main.func_code, profile_to) |
| 310 | 311 |
else: main() |
Also available in: Unified diff
bin/map: When profiling, print the profile_to destination file