diff options
| author | Yonatan Goldschmidt <yon.goldschmidt@gmail.com> | 2019-12-12 00:09:20 +0200 |
|---|---|---|
| committer | Yonatan Goldschmidt <yon.goldschmidt@gmail.com> | 2021-06-28 01:50:00 +0300 |
| commit | 4ada56d4cb4c518d2a78f7d7a600a4537188310a (patch) | |
| tree | 3bb60552edbe687c2cddd6c6e5132907399c4bb0 /tools/makemanifest.py | |
| parent | 7ec95c2768793c28351d13a9c471991bb2d6dcff (diff) | |
| download | micropython-4ada56d4cb4c518d2a78f7d7a600a4537188310a.tar.gz micropython-4ada56d4cb4c518d2a78f7d7a600a4537188310a.zip | |
tools/makemanifest.py: Allow passing flags to mpy-tool.py.
Diffstat (limited to 'tools/makemanifest.py')
| -rw-r--r-- | tools/makemanifest.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/makemanifest.py b/tools/makemanifest.py index 51de01dd8a..7897a83c6e 100644 --- a/tools/makemanifest.py +++ b/tools/makemanifest.py @@ -248,6 +248,7 @@ def main(): "-f", "--mpy-cross-flags", default="", help="flags to pass to mpy-cross" ) cmd_parser.add_argument("-v", "--var", action="append", help="variables to substitute") + cmd_parser.add_argument("--mpy-tool-flags", default="", help="flags to pass to mpy-tool") cmd_parser.add_argument("files", nargs="+", help="input manifest list") args = cmd_parser.parse_args() @@ -341,6 +342,7 @@ def main(): "-q", args.build_dir + "/genhdr/qstrdefs.preprocessed.h", ] + + args.mpy_tool_flags.split() + mpy_files ) if res != 0: |