diff options
| author | Tom Soulanille <soul@prama.com> | 2015-08-22 13:11:02 -0400 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-09-12 22:53:54 +0100 |
| commit | 7731edf2f5cf7227a58315853d6351d4d4516f81 (patch) | |
| tree | a42e1792a54060dbc7c936e15cf69ce194a58947 /docs/library | |
| parent | 229b908d2e459f350f958954dfbd6a0f093033c5 (diff) | |
stmhal: Add "opt" arg to pyb.main, to set mp_optimise_value.
Use this to set the global optimisation value when executing the main
script (and all scripts it imports).
Diffstat (limited to 'docs/library')
0 files changed, 0 insertions, 0 deletions