From 51bd917512f87e4619fb77deeb69b4211e9afad9 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 9 Sep 2020 18:46:46 +0800
Subject: [PATCH] cleanup

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

diff --git a/zynq.nix b/zynq.nix
index e7fd6da..1a77eeb 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -40,7 +40,7 @@ in
 
         export USER=hydra
         export OPENOCD_ZYNQ=${<zynq-rs>}/openocd
-        export SZL=${zynq-rs.zc706-szl}/szl.elf;
+        export SZL=${zynq-rs.zc706-szl}/szl.elf
         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