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