diff options
Diffstat (limited to 'dist/travis')
| -rwxr-xr-x | dist/travis/travis-ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/travis/travis-ci.sh b/dist/travis/travis-ci.sh index f5dd73e40..676d9dcf2 100755 --- a/dist/travis/travis-ci.sh +++ b/dist/travis/travis-ci.sh @@ -98,7 +98,7 @@ else tests="$tests gna" fi tests="$tests vests" - if [ "x$ISEXTRA" = "xsynth" ]; then + if [ "x$EXTRA" = "xsynth" ]; then tests="$tests synth" fi $RUN "ghdl/ghdl:$GHDL_IMAGE_TAG" bash -c "GHDL=ghdl ${scriptdir}/../../testsuite/testsuite.sh $tests" |