Fix cleaning in coremark and dhrystone (#1396)

This commit is contained in:
Côme 2023-09-13 22:35:19 +02:00 committed by GitHub
parent 91df62885f
commit 3e5ebdf4f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View file

@ -28,11 +28,11 @@ if ! [ -n "$DV_SIMULATORS" ]; then
DV_SIMULATORS=veri-testharness
fi
cd verif/sim/
make clean
make -C verif/sim clean_all
cd verif/sim/
src0=../tests/custom/coremark/core_main.c
srcA=(
../tests/custom/coremark/uart.c

View file

@ -23,11 +23,11 @@ if ! [ -n "$DV_SIMULATORS" ]; then
DV_SIMULATORS=veri-testharness
fi
cd verif/sim
make clean
make -C verif/sim clean_all
cd verif/sim
src0=../tests/riscv-tests/benchmarks/dhrystone/dhrystone_main.c
srcA=(
../tests/riscv-tests/benchmarks/dhrystone/dhrystone.c