535: fix evaluation of rpi4 r=Mic92 a=Mic92



Co-authored-by: Jörg Thalheim <joerg@thalheim.io>
This commit is contained in:
bors[bot] 2023-01-09 23:32:38 +00:00 committed by GitHub
commit 48745e081c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -34,6 +34,8 @@ def build_profile(
system = "x86_64-linux" system = "x86_64-linux"
if "raspberry-pi/2" in profile: if "raspberry-pi/2" in profile:
system = "armv7l-linux" system = "armv7l-linux"
if "raspberry-pi/4" in profile:
system = "aarch64-linux"
cmd = [ cmd = [
"nix", "nix",