diff options
author | Daniel Mentz <danielmentz@google.com> | 2019-03-29 21:41:35 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2019-03-29 21:41:35 +0000 |
commit | b95c8af8c97dd34454bdf6092cc5e09efe9888ce (patch) | |
tree | a7f1366d72662a525684839cfddc67694737f09f /libc/kernel/tools/clean_header.py | |
parent | 3e742cb6133ad37ce28e8f0bffdf70f763ed45a3 (diff) | |
parent | 316f4a499c4e0e014f59e1207090f84303c5bf7d (diff) |
Merge "clean_header: Write to correct dst_file"
Diffstat (limited to 'libc/kernel/tools/clean_header.py')
-rwxr-xr-x | libc/kernel/tools/clean_header.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libc/kernel/tools/clean_header.py b/libc/kernel/tools/clean_header.py index 7c802c282..072ca1a91 100755 --- a/libc/kernel/tools/clean_header.py +++ b/libc/kernel/tools/clean_header.py @@ -187,8 +187,8 @@ if __name__ == "__main__": if not new_data: continue - b.readFile(path) - r = b.editFile(path, new_data) + b.readFile(dst_file) + r = b.editFile(dst_file, new_data) if r == 0: r = "unchanged" elif r == 1: |