diff --git a/repo-scripts/update-benchrepo b/repo-scripts/update-benchrepo index 1af4d5b08ad398ccd0b3e68b959098b52a4c27c3_cmVwby1zY3JpcHRzL3VwZGF0ZS1iZW5jaHJlcG8=..e8c6165e71758d79fbb322696b733ad42d52cdb9_cmVwby1zY3JpcHRzL3VwZGF0ZS1iZW5jaHJlcG8= 100755 --- a/repo-scripts/update-benchrepo +++ b/repo-scripts/update-benchrepo @@ -83,7 +83,7 @@ new_tar_file.add(benchrepo_path, arcname=repo_details) # And finally overwrite the original tar in place - print("Overwriting the original archive") + print("Writing the new reference tar as %s" % repo_tarball) new_archive_path = join(dirname(reference_archive_path), repo_tarball) shutil.move(tmp_archive_path, new_archive_path)