commit | bb693183a0049136629a60e4ccba39987211ae0f | [log] [tgz] |
---|---|---|
author | Treehugger Robot <treehugger-gerrit@google.com> | Fri Apr 03 19:39:47 2020 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Apr 03 19:39:47 2020 +0000 |
tree | 07ac6c35d44bbf0d6c85682a5f56df25bcbc2e7c | |
parent | a531789459221943cfe833747212766f3ffa2019 [diff] | |
parent | 0d6864aebd4e5d779bee5a41f6c258aca90cb123 [diff] |
Merge "build/file_utils: Newline for mapping files"
diff --git a/build/file_utils.py b/build/file_utils.py index 1559a9b..9f95f52 100644 --- a/build/file_utils.py +++ b/build/file_utils.py
@@ -43,6 +43,9 @@ with open(input_file, 'r') as in_file: tmp_output.writelines(line for line in in_file.readlines() if line not in patterns) + # Append empty line because a completely empty file + # will trip up secilc later on: + tmp_output.write("\n") tmp_output.flush() # Replaces the input_file.