From 1b324970e51cdf9de53f0c89a269ffcc5936b693 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 9 Sep 2020 15:44:09 +0800
Subject: [PATCH] zynq: set OPENOCD_ZYNQ

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

diff --git a/zynq.nix b/zynq.nix
index 16bf73f..540f892 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -53,6 +53,7 @@ in
         echo Power cycle done.
 
         export USER=hydra
+        export OPENOCD_ZYNQ=${<zynq-rs>}/openocd
         pushd ${<artiq-zynq>}
         bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o "-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR -i /opt/hydra_id_rsa" -d ${artiq-zynq.zc706-nist_qc2-jtag}
         popd