This commit was merged in pull request #4.
This commit is contained in:
1 parent
6493347cd1
commit
a6adab0035
5 files changed
+69
-8
No files matched your search
@@ -4,6 +4,7 @@ def erase_commented_lines(filename, out):
|
||||
with open(filename, 'r') as file:
|
||||
lines = file.readlines()
|
||||
|
||||
# gcc leaves these "comments" at the start of the file
|
||||
lines = [line for line in lines if not line.startswith('#')]
|
||||
|
||||
with open(out, 'w') as file:
|
||||
|
||||
Reference in new issue
Block a user