diff --git a/misc/scripts/copyright_headers.py b/misc/scripts/copyright_headers.py index 70c6f7792..c18bcbbba 100755 --- a/misc/scripts/copyright_headers.py +++ b/misc/scripts/copyright_headers.py @@ -79,6 +79,8 @@ while line == "" or line.startswith("#ifndef") or line.startswith("#define"): # line = fileread.readline() line = line.strip() +line += "\n" + if orig_lines != "": text = orig_lines + "\n" + text