diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-05-14 11:02:20 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-05-14 11:02:20 -0700 |
| commit | e1ea1076ab66da581dc9472df232984d8f230f28 (patch) | |
| tree | 60a46aa96581386a2ac62bfd1d05363c09c05717 /tools/shared.py | |
| parent | db3a765a9050790228f7ef8bec7779681dacb601 (diff) | |
do not fail on -fcatch-undefined-behavior
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions