diff options
Diffstat (limited to 'stats/gen_report.py')
| -rwxr-xr-x | stats/gen_report.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stats/gen_report.py b/stats/gen_report.py index 9c00d77..3b5e0e0 100755 --- a/stats/gen_report.py +++ b/stats/gen_report.py @@ -417,7 +417,7 @@ print("Generating the HTML") if args.title is not None: title = args.title else: - title = "Performance report on the run named '${run_name}'".format(run_name=args.log_folder) + title = "Performance report on the run named '{run_name}'".format(run_name=args.log_folder) geom_prev = -1 for commit in report.commits: |