From eb95db64b07f8f9daac9944751803506fdfbd577 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 17 Mar 2022 21:24:11 +0000
Subject: Clean up scripts some more

---
 scripts/synth-ssh.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'scripts/synth-ssh.sh')

diff --git a/scripts/synth-ssh.sh b/scripts/synth-ssh.sh
index fffb9f9..a6ce349 100755
--- a/scripts/synth-ssh.sh
+++ b/scripts/synth-ssh.sh
@@ -5,9 +5,10 @@
 
 scriptsdir=$(dirname "$(readlink -f "$BASH_SOURCE")")
 
-bench=$1
-output=$2
-machine=ee-beholder1.ee.ic.ac.uk
+num=$1
+bench=$2
+output=$3
+machine=ee-beholder${num}.ee.ic.ac.uk
 user=ymh15
 files="$scriptsdir/synth.tcl $output/$bench.v"
 log="$output/${bench}_synth.log"
-- 
cgit