zynq: use bash to execute remote-run script

pull/33/head
parent 563161860e
commit 3dfd3b166a
  1. 2
      zynq.nix

@ -41,7 +41,7 @@ in
echo "rpi-4 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJu+HhQmQAclub9K/B3xUQ28lBg+MEdqSeBuQNZgPGKB" > $HOME/.ssh/known_hosts
chmod 600 $HOME/.ssh/id_rsa
${<artiq-zynq>}/remote_run.sh -d ${artiq-zynq.zc706-simple-jtag}
bash ${<artiq-zynq>}/remote_run.sh -d ${artiq-zynq.zc706-simple-jtag}
touch $out
'';

Loading…
Cancel
Save