diff options
Diffstat (limited to 'benchmarks/polybench-syn/setup-syn-vericert.sh')
-rwxr-xr-x | benchmarks/polybench-syn/setup-syn-vericert.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/setup-syn-vericert.sh b/benchmarks/polybench-syn/setup-syn-vericert.sh index e9a8dda..22356f7 100755 --- a/benchmarks/polybench-syn/setup-syn-vericert.sh +++ b/benchmarks/polybench-syn/setup-syn-vericert.sh @@ -3,7 +3,7 @@ top=$(pwd) #set up basedir=poly-syn - sshhost=nr113@ee-beholder0.ee.ic.ac.uk + sshhost=$1 ssh $sshhost "cd ~; rm -r $basedir" ssh $sshhost "cd ~; mkdir $basedir" scp quartus_synth.tcl $sshhost:$basedir |