From 3fb1628358243658086459d432545c686e9602e1 Mon Sep 17 00:00:00 2001 From: Alexander Arlt Date: Tue, 21 Mar 2023 13:56:50 -0500 Subject: [PATCH] [scripts/splitSources.py] Add newline to files. --- scripts/splitSources.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/splitSources.py b/scripts/splitSources.py index d31202fb7..7dc91acce 100755 --- a/scripts/splitSources.py +++ b/scripts/splitSources.py @@ -47,7 +47,7 @@ def writeSourceToFile(lines): for idx, line in enumerate(lines[1:]): # write to file if line[:12] != "==== Source:": - f.write(line) + f.write(line + '\n') # recursive call if there is another source else: