readme: use bash instead of sh (#1429)

This commit is contained in:
Côme 2023-09-15 18:13:45 +02:00 committed by GitHub
parent 2ac676d931
commit 7355fd7ce8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -181,7 +181,7 @@ To check the RTL cva6 behaviour, the RTL simulation trace is compared to spike t
```sh
export DV_SIMULATORS=veri-testharness,spike
sh verif/regress/smoke-tests.sh
bash verif/regress/smoke-tests.sh
```
#### Test execution
@ -190,9 +190,9 @@ Run one of the shell scripts:
```sh
# riscv-compliance (https://github.com/riscv/riscv-compliance) test suite:
sh verif/regress/dv-riscv-compliance.sh
bash verif/regress/dv-riscv-compliance.sh
# riscv-tests (https://github.com/riscv/riscv-tests) test suite:
sh verif/regress/dv-riscv-tests.sh
bash verif/regress/dv-riscv-tests.sh
```