diff options
| -rw-r--r-- | scripts/BuildDemos.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/BuildDemos.py b/scripts/BuildDemos.py index 01fdf4d25b..fd4c84fc32 100644 --- a/scripts/BuildDemos.py +++ b/scripts/BuildDemos.py @@ -30,7 +30,7 @@ def dump_status(error_occurred): pickle.dump(status_dump, open("result/demo_validation_status.pickle", "wb")) def log_status(log_string): - status_dump["messages"].add(log_string) + status_dump["messages"].append(log_string) print(log_string) def checkout(folder, url, repoBranch = "master"): |