diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-11 15:31:23 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-11 15:33:32 +0200 |
commit | f18121824c167d33f61a1fc8100bd4a8aa4f53cd (patch) | |
tree | ac8c7bbd13ae6bd9d13619ba9dc15832a713024a /misc | |
parent | 290032b68f5cc1f6c2cb410c2a90d81168c72a87 (diff) |
Add missing license headers
Make `fix_headers.py` script compatible with Python 3.
Diffstat (limited to 'misc')
-rwxr-xr-x | misc/scripts/fix_headers.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/misc/scripts/fix_headers.py b/misc/scripts/fix_headers.py index 823c9acfde..d94db22b42 100755 --- a/misc/scripts/fix_headers.py +++ b/misc/scripts/fix_headers.py @@ -33,7 +33,7 @@ header = """\ /*************************************************************************/ """ -files = open("files", "rb") +files = open("files", "r") fname = files.readline() @@ -67,7 +67,7 @@ while (fname != ""): # In a second pass, we skip all consecutive comment lines starting with "/*", # then we can append the rest (step 2). - fileread = open(fname.strip(), "rb") + fileread = open(fname.strip(), "r") line = fileread.readline() header_done = False @@ -92,11 +92,11 @@ while (fname != ""): fileread.close() # Write - filewrite = open(fname.strip(), "wb") + filewrite = open(fname.strip(), "w") filewrite.write(text) filewrite.close() # Next file fname = files.readline() -files.close()
\ No newline at end of file +files.close() |