From 7d358565f13e237e2cf5fd7997b01ab42c01844a Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 20 Mar 2024 15:13:04 +0100 Subject: [PATCH] sel4bench-web: adjust for website update Website has been updated to use Jekyll: - generate index.html instead of home.pml - different front matter format Signed-off-by: Gerwin Klein --- sel4bench/build.py | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/sel4bench/build.py b/sel4bench/build.py index 4fa2e4c1..e0a6d14d 100644 --- a/sel4bench/build.py +++ b/sel4bench/build.py @@ -223,11 +223,12 @@ def gen_web(runs: List[Run], yml, file_name: str): ] with open(file_name, 'w') as f: - f.write('\n') - f.write('\n\n') + f.write('---') + f.write('# Copyright 2021 seL4 Project a Series of LF Projects, LLC.') + f.write('# SPDX-License-Identifier: CC-BY-SA-4.0') + f.write('title: seL4 benchmarks') + f.write('redirect_from: /About/Performance/home.pml') + f.write('---') f.write('

Performance

\n') f.write('

This page displays the latest benchmark numbers for seL4 from the publicly\n') @@ -378,7 +379,7 @@ def gen_web(runs: List[Run], yml, file_name: str): sys.exit(0) if len(sys.argv) > 1 and sys.argv[1] == '--web': - gen_web(make_runs(builds), yml, "home.pml") + gen_web(make_runs(builds), yml, "index.html") sys.exit(0) sys.exit(run_builds(builds, hw_build))