diff options
| author | Jez Ng <me@jezng.com> | 2013-07-09 00:50:09 -0700 |
|---|---|---|
| committer | Jez Ng <me@jezng.com> | 2013-07-10 13:40:23 -0700 |
| commit | 0939e80a79bc7a68e82b9b116eee5aea860f7259 (patch) | |
| tree | ce200831088c2b94cc376cc6368a00f9311f4183 /tools/find_bigfuncs.py | |
| parent | 5d3ff92c55b8830c5f1c670a252107d3e8cded60 (diff) | |
Don't throw KeyboardInterrupt from a child process.
This should fix #1327.
Diffstat (limited to 'tools/find_bigfuncs.py')
0 files changed, 0 insertions, 0 deletions