raspberry-pi/5: init

This commit is contained in:
leo60228
2024-04-25 21:57:25 -04:00
parent 797f8d8082
commit 7a0657950e
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(