diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-04-09 20:34:37 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-09 20:34:37 -0700 |
commit | f58e77da332cb0f8123c0c062c275c63783736a7 (patch) | |
tree | 518251ccf13fd13e62604306f0e121034a79f82d /tools/tempfiles.py | |
parent | 064206f86c62c546b1860cb14e4f303b6056b5bc (diff) |
make noInitialRun and INVOKE_RUN refer to main(), not run(). run() need not call main(), and is necessary to set things up even if you call main() manually
Diffstat (limited to 'tools/tempfiles.py')
0 files changed, 0 insertions, 0 deletions