diff options
Diffstat (limited to 'scripts/ci-run.sh')
-rwxr-xr-x | scripts/ci-run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci-run.sh b/scripts/ci-run.sh index b0ebfd894..2854ee7f3 100755 --- a/scripts/ci-run.sh +++ b/scripts/ci-run.sh @@ -460,7 +460,7 @@ EOF tests+=" synth" fi - tests+=" vpi" + tests+=" vpi vhpi" # Run tests in docker container $RUN "$GHDL_TEST_IMAGE" bash -c "GHDL=ghdl ./testsuite/testsuite.sh $tests" |