aboutsummaryrefslogtreecommitdiffstats
path: root/dist/ci-run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'dist/ci-run.sh')
-rwxr-xr-xdist/ci-run.sh3
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