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