raspberry-pi/5: init

This commit is contained in:
leo60228
2024-04-25 21:57:25 -04:00
committed by mergify[bot]
parent 753176b57b
commit c4fa85b9df
4 changed files with 23 additions and 1 deletions

View File

@@ -81,7 +81,7 @@ def write_eval_test(f: IO[str], profiles: list[str]) -> None:
continue
system = "x86_64-linux"
if "raspberry-pi/4" == profile:
if "raspberry-pi/4" == profile or "raspberry-pi/5" == profile:
system = "aarch64-linux"
f.write(