diff options
| author | Martin Milata <martin@martinmilata.cz> | 2023-01-26 14:10:18 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2023-02-01 13:17:22 +1100 |
| commit | 850f09b109ebdaafe3dc7cf94b99278342227b81 (patch) | |
| tree | 28e045e81255abdd7371ed5d7d078073b7a8d18d | |
| parent | 6abf03b5d0b73e17260256580fa6f4881de18deb (diff) | |
tools/mpy-tool.py: Initialize line_info_top.
Without it the line number mapping doesn't work.
Signed-off-by: Martin Milata <martin@martinmilata.cz>
| -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 0b8a0403c..fe83305d7 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(" },") |