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): |