diff --git a/repo-scripts/upgrade-reference b/repo-scripts/upgrade-reference index f716863d66c059ff61e1e6c0b40abf711578b0c7_cmVwby1zY3JpcHRzL3VwZ3JhZGUtcmVmZXJlbmNl..3ce8a2515d8a2308b25005642325721457a7957c_cmVwby1zY3JpcHRzL3VwZ3JhZGUtcmVmZXJlbmNl 100755 --- a/repo-scripts/upgrade-reference +++ b/repo-scripts/upgrade-reference @@ -51,10 +51,13 @@ benchrepo_data = read_yaml(benchrepo_path) repo_id = benchrepo_data["reference-repo"]["id"] - # Support old benchrepo files without repo-prefix - old_repo_prefix = benchrepo_data["reference-repo"].get( - "repo-prefix", repo_id - ) + + hadprefix = True + old_repo_prefix = benchrepo_data["reference-repo"].get("repo-prefix") + if old_repo_prefix is None: + # Support old benchrepo files without repo-prefix + hadprefix = False + old_repo_prefix = repo_id # Compute the new stats print("Gathering the new benchrepo data.")