diff options
Diffstat (limited to 'scripts/synth.sh')
-rwxr-xr-x | scripts/synth.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/synth.sh b/scripts/synth.sh index 79d7164..b1c2696 100755 --- a/scripts/synth.sh +++ b/scripts/synth.sh @@ -29,4 +29,4 @@ rsync -am --include '*/' --include '*.v' --exclude '*' $source/ $output/ echo "executing $parallel runs in parallel" cat $scriptsdir/../benchmarks/polybench-syn/benchmark-list-master | \ xargs --max-procs=$parallel --replace=% \ - $scriptsdir/synth-ssh0.sh % $output + $scriptsdir/synth-ssh.sh 0 % $output |