From 392e3dcb8efc9d9fcf386a45faff2175ce9b9904 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 22 Oct 2019 20:10:20 +0800
Subject: [PATCH] nixbld: use faster rpi for aarch64 builds

---
 nixbld-etc-nixos/configuration.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nixbld-etc-nixos/configuration.nix b/nixbld-etc-nixos/configuration.nix
index 89595c0..9084bfb 100644
--- a/nixbld-etc-nixos/configuration.nix
+++ b/nixbld-etc-nixos/configuration.nix
@@ -234,7 +234,7 @@ ACTION=="add", SUBSYSTEM=="tty", \
        supportedFeatures = ["big-parallel"];
     }
     {
-       hostName = "rpi-1";
+       hostName = "rpi-3";
        sshUser = "nix";
        sshKey = "/etc/nixos/secret/nix_id_rsa";
        maxJobs = 1;