diff --git a/minitests/partial_reconfig_flow/v2bit.sh b/minitests/partial_reconfig_flow/v2bit.sh deleted file mode 100755 index c331cbf4..00000000 --- a/minitests/partial_reconfig_flow/v2bit.sh +++ /dev/null @@ -1,39 +0,0 @@ -set -ex - -fin=$1 -if [ -z "$fin" ] ; then - echo "need fin arg" - exit -fi -# fin=roi_blinky.v -prefix=$(echo $fin |sed "s/\.v//") -if [ "$fin" = "$prefix" ] ; then - echo "bad prefix" - exit -fi -echo "$fin => $prefix" - -make -mkdir -p $prefix - -vivado -mode batch -source /dev/stdin <