diff options
| author | Damien George <damien.p.george@gmail.com> | 2019-08-23 11:20:50 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-08-28 12:47:58 +1000 |
| commit | af20c2ead3e9bb397fdf89e316aa78b56f165013 (patch) | |
| tree | 99cc8c752d6347dc9f0d6dccb6e11384626bd278 /tests/micropython/opt_level.py | |
| parent | 8e3e05761e1143a2502c7eca07c1b22bac192c84 (diff) | |
py: Add global default_emit_opt variable to make emit kind persistent.
mp_compile no longer takes an emit_opt argument, rather this setting is now
provided by the global default_emit_opt variable.
Now, when -X emit=native is passed as a command-line option, the emitter
will be set for all compiled modules (included imports), not just the
top-level script.
In the future there could be a way to also set this variable from a script.
Fixes issue #4267.
Diffstat (limited to 'tests/micropython/opt_level.py')
0 files changed, 0 insertions, 0 deletions