diff options
Diffstat (limited to 'dist/ci-run.sh')
-rwxr-xr-x | dist/ci-run.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/ci-run.sh b/dist/ci-run.sh index fa0d61f2e..131658cff 100755 --- a/dist/ci-run.sh +++ b/dist/ci-run.sh @@ -429,7 +429,7 @@ ci_run () { if [ "x$IS_MACOS" = "xtrue" ]; then CC=clang \ prefix="`cd ./install-mcode; pwd`/usr/local" \ - ./testsuite/testsuite.sh sanity gna vests + ./testsuite/testsuite.sh sanity gna vests vpi else # Build ghdl/ghdl:$GHDL_IMAGE_TAG image build_img_ghdl @@ -442,6 +442,7 @@ ci_run () { if [ "x$ISSYNTH" = "xtrue" ]; then tests="$tests synth" fi + tests="$tests vpi" $RUN "ghdl/ghdl:$GHDL_IMAGE_TAG" bash -c "GHDL=ghdl ./testsuite/testsuite.sh $tests" fi |