fix evaluation of rpi4

This commit is contained in:
Jörg Thalheim 2023-01-10 00:31:59 +01:00
parent ca29e25c39
commit cb4f9dca64

View file

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