diff options
| author | Damien George <damien.p.george@gmail.com> | 2019-10-09 14:23:15 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-12-12 20:15:28 +1100 |
| commit | 27879844d24f276b0d15b27bd60c3a0391a9099e (patch) | |
| tree | bbee92085d20a736c3b535a142647810d393d23d /examples | |
| parent | 3690f79afc4e32acbd1db243fd7af7fa518fa27f (diff) | |
tools/mpy-tool.py: Add ability to merge multiple .mpy files into one.
Usage:
mpy-tool.py -o merged.mpy --merge mod1.mpy mod2.mpy
The constituent .mpy files are executed sequentially when the merged file
is imported, and they all use the same global namespace.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions