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>
This commit is contained in:
Martin Milata
2023-01-26 14:10:18 +01:00
committed by Damien George
parent 6abf03b5d0
commit 850f09b109

View File

@@ -936,6 +936,10 @@ class RawCode(object):
" .line_info = fun_data_%s + %u," " .line_info = fun_data_%s + %u,"
% (self.escaped_name, self.offset_line_info) % (self.escaped_name, self.offset_line_info)
) )
print(
" .line_info_top = fun_data_%s + %u,"
% (self.escaped_name, self.offset_closure_info)
)
print( print(
" .opcodes = fun_data_%s + %u," % (self.escaped_name, self.offset_opcodes) " .opcodes = fun_data_%s + %u," % (self.escaped_name, self.offset_opcodes)
) )