diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-18 13:42:32 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-18 13:42:32 -0700 |
| commit | 5685df86fd3a64f5b0e4acfbebab39559b96455d (patch) | |
| tree | 721e8c480a7a6c29830eea9e5000236996a864e8 /tools/shared.py | |
| parent | cc35ae70ece1f93a23bd666bda395fbb697bbda8 (diff) | |
add option to turn all unresolved references into dead functions (i.e., no compile-time warnings or errors, instead runtime aborts
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions