Change STEP1 target with the embedded target (#1519)

This commit is contained in:
Jalali 2023-10-09 21:12:24 +01:00 committed by GitHub
parent 130bc2fb31
commit 5eac75842d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions

View file

@ -18,7 +18,7 @@ source verif/regress/install-riscv-dv.sh
source verif/regress/install-spike.sh
if ! [ -n "$DV_TARGET" ]; then
DV_TARGET=cv32a60x
DV_TARGET=cv32a6_embedded
fi
if ! [ -n "$DV_SIMULATORS" ]; then

View file

@ -18,7 +18,7 @@ source verif/regress/install-riscv-dv.sh
source verif/regress/install-spike.sh
if ! [ -n "$DV_TARGET" ]; then
DV_TARGET=cv32a60x
DV_TARGET=cv32a6_embedded
fi
if ! [ -n "$DV_SIMULATORS" ]; then

View file

@ -18,7 +18,7 @@ source verif/regress/install-cva6.sh
source verif/regress/install-riscv-dv.sh
if ! [ -n "$DV_TARGET" ]; then
DV_TARGET=cv32a60x
DV_TARGET=cv32a6_embedded
fi
if ! [ -n "$DV_SIMULATORS" ]; then