diff options
| -rwxr-xr-x | tools/mpy-tool.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/mpy-tool.py b/tools/mpy-tool.py index 0b8a0403ca..fe83305d71 100755 --- a/tools/mpy-tool.py +++ b/tools/mpy-tool.py @@ -937,6 +937,10 @@ class RawCode(object): % (self.escaped_name, self.offset_line_info) ) print( + " .line_info_top = fun_data_%s + %u," + % (self.escaped_name, self.offset_closure_info) + ) + print( " .opcodes = fun_data_%s + %u," % (self.escaped_name, self.offset_opcodes) ) print(" },") |