Fix warnings and sync line numbers of unamalgamated sources

This commit is contained in:
Deomid Ryabkov committed 2020-08-19 22:02:50 +01:00
1 parent 0a09b46c94
commit a308872c88
5 files changed
+27 -109

No files matched your search

+5
View File
@@ -121,9 +121,14 @@ def emit_body(out, name, parent_name):
return
with open(resolved_name) as f:
leading_spaces = True
in_comment = False
comment = ''
for l in f:
if leading_spaces:
if not l.strip():
continue
leading_spaces = False
if in_comment:
comment += l
if re.match('\s*\*/$', l):