diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-01-07 12:54:29 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-01-07 12:54:29 -0800 |
| commit | 578971453d4d1140486229bedc711f52b8e1948f (patch) | |
| tree | 72f2371905d7d08a1a86641ccd977649088dcde9 /tools/shared.py | |
| parent | 904d9b751241bfa1e1a334877c8489a27e535892 (diff) | |
reset the stack top when CATCH_EXIT_CODE
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions