| Index: Source/bindings/scripts/utilities.py
|
| diff --git a/Source/bindings/scripts/utilities.py b/Source/bindings/scripts/utilities.py
|
| index 10679d46d211f002fbbec25c64556ed8ae47e328..02b973ff98cfb6e55658feca66a3a6f73ffc396e 100644
|
| --- a/Source/bindings/scripts/utilities.py
|
| +++ b/Source/bindings/scripts/utilities.py
|
| @@ -21,16 +21,16 @@ class IdlBadFilenameError(Exception):
|
|
|
| def get_file_contents(filename):
|
| with open(filename) as f:
|
| - return ''.join(f.readlines())
|
| + return f.read()
|
|
|
|
|
| -def write_file(new_lines, destination_filename, only_if_changed):
|
| +def write_file(new_text, destination_filename, only_if_changed):
|
| if only_if_changed and os.path.isfile(destination_filename):
|
| with open(destination_filename) as destination_file:
|
| - if destination_file.readlines() == new_lines:
|
| + if destination_file.read() == new_text:
|
| return
|
| with open(destination_filename, 'w') as destination_file:
|
| - destination_file.write(''.join(new_lines))
|
| + destination_file.write(new_text)
|
|
|
|
|
| def write_pickle_file(pickle_filename, data, only_if_changed):
|
|
|