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/scripts | |
| parent | 290032b68f5cc1f6c2cb410c2a90d81168c72a87 (diff) | |
Add missing license headers
Make `fix_headers.py` script compatible with Python 3.
Diffstat (limited to 'misc/scripts')
| -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()  |