| Index: Source/bindings/scripts/utilities.py
|
| diff --git a/Source/bindings/scripts/utilities.py b/Source/bindings/scripts/utilities.py
|
| index 34bcad53400083ac6371947f0e9ccb7841974229..0aeabc20b3610e6fbef41af25430e1b57cd958e5 100644
|
| --- a/Source/bindings/scripts/utilities.py
|
| +++ b/Source/bindings/scripts/utilities.py
|
| @@ -38,6 +38,12 @@ def read_file_to_list(filename):
|
| return [line.rstrip('\n') for line in f]
|
|
|
|
|
| +def read_pickle_files(pickle_filenames):
|
| + for pickle_filename in pickle_filenames:
|
| + with open(pickle_filename) as pickle_file:
|
| + yield pickle.load(pickle_file)
|
| +
|
| +
|
| 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:
|
|
|