Index: Source/bindings/scripts/utilities.py |
diff --git a/Source/bindings/scripts/utilities.py b/Source/bindings/scripts/utilities.py |
index 10679d46d211f002fbbec25c64556ed8ae47e328..edb065f89daa19052be3b60c9988ee1785318e61 100644 |
--- a/Source/bindings/scripts/utilities.py |
+++ b/Source/bindings/scripts/utilities.py |
@@ -24,13 +24,13 @@ def get_file_contents(filename): |
return ''.join(f.readlines()) |
-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): |