diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:24:11 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:24:11 +0000 |
commit | eb95db64b07f8f9daac9944751803506fdfbd577 (patch) | |
tree | 8aa79e50c3946d8c53125cceb184efe5cd2ac39c /scripts/synth-ssh.sh | |
parent | a7a8e4481bce810d077ea682b8379535a20931c9 (diff) | |
download | vericert-eb95db64b07f8f9daac9944751803506fdfbd577.tar.gz vericert-eb95db64b07f8f9daac9944751803506fdfbd577.zip |
Clean up scripts some more
Diffstat (limited to 'scripts/synth-ssh.sh')
-rwxr-xr-x | scripts/synth-ssh.sh | 7 |
1 files changed, 4 insertions, 3 deletions
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" |