diff options
| author | Daniel Thompson <daniel@redfelineninja.org.uk> | 2020-01-28 21:16:22 (GMT) |
|---|---|---|
| committer | Daniel Thompson <daniel@redfelineninja.org.uk> | 2020-01-28 21:16:22 (GMT) |
| commit | 6dfc95764f40b6546b81b120ba1fca0b498db77c (patch) | |
| tree | 46f781c19e0145dd82dd39ad840f39a14b2a5685 /manifest | |
| parent | e88165b429f46b6621b94828ddb686ddd2c616dd (diff) | |
manifest: Enable highest optimization by default
Diffstat (limited to 'manifest')
| -rw-r--r-- | manifest/pinetime.py | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/manifest/pinetime.py b/manifest/pinetime.py index 54533eb..3bb1290 100644 --- a/manifest/pinetime.py +++ b/manifest/pinetime.py @@ -1,8 +1,10 @@ -freeze_as_mpy('$(MPY_DIR)/../wasp', ( - 'main.py', - 'demo.py', - 'drivers/st7789.py', - 'logo.py', - 'pinetime.py' -)) - +freeze('$(MPY_DIR)/../wasp', + ( + 'main.py', + 'demo.py', + 'drivers/st7789.py', + 'logo.py', + 'pinetime.py' + ), + opt=3 +) |