From 7bde5a0406e58ace83e87be47cddb130b3c69e34 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 12 Jul 2021 17:13:19 +0800
Subject: [PATCH] zynq: fix SSH options

---
 artiq-zynq.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/artiq-zynq.nix b/artiq-zynq.nix
index 67d3311..20f7d2b 100644
--- a/artiq-zynq.nix
+++ b/artiq-zynq.nix
@@ -45,7 +45,7 @@ in
         export SZL=${szlEnv}
         pushd ${<artiq-zynq>}
         export NIX_SSHOPTS="-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR -i /opt/hydra_id_rsa"
-        ssh rpi-4 "nix-store -r ${<nixpkgs>} --add-root openocd-pkgs --indirect && nix-env -e openocd && nix-env -iA openocd -f openocd-pkgs && rm openocd-pkgs"
+        ssh $NIX_SSHOPTS rpi-4 "nix-store -r ${<nixpkgs>} --add-root openocd-pkgs --indirect && nix-env -e openocd && nix-env -iA openocd -f openocd-pkgs && rm openocd-pkgs"
         bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o $NIX_SSHOPTS -d ${artiq-zynq.zc706-nist_qc2-jtag}
         popd