Merge pull request #14062 from ethereum/fix-split-sources-script

[scripts/splitSources.py] Add newline to files.
This commit is contained in:
Nikola Matić 2023-04-05 22:37:20 +02:00 committed by GitHub
commit 9e0a0af78c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -47,7 +47,7 @@ def writeSourceToFile(lines):
for idx, line in enumerate(lines[1:]): for idx, line in enumerate(lines[1:]):
# write to file # write to file
if line[:12] != "==== Source:": if line[:12] != "==== Source:":
f.write(line) f.write(line + '\n')
# recursive call if there is another source # recursive call if there is another source
else: else: