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/run-vivado.sh | |
parent | a7a8e4481bce810d077ea682b8379535a20931c9 (diff) | |
download | vericert-eb95db64b07f8f9daac9944751803506fdfbd577.tar.gz vericert-eb95db64b07f8f9daac9944751803506fdfbd577.zip |
Clean up scripts some more
Diffstat (limited to 'scripts/run-vivado.sh')
-rwxr-xr-x | scripts/run-vivado.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/run-vivado.sh b/scripts/run-vivado.sh deleted file mode 100755 index 117054d..0000000 --- a/scripts/run-vivado.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash - -benchmark=./$1/$2 -echo $benchmark - - cp ./synth.tcl $benchmark/. 2>/dev/null - cd $benchmark || exit 1 - vivado -mode batch -source synth.tcl >vivado.log 2>&1 |