diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-11-20 06:17:58 +0000 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-11-20 07:17:58 +0100 |
| commit | 95d6df3db4ba09cddb4d12e7613b811d774c8ef6 (patch) | |
| tree | cd4bbc27b68a646ae27d11fe8fc02597bec49aeb /dist/travis | |
| parent | 19c87d08ad5cb06c8f537bbe2306508eebe0978d (diff) | |
| download | ghdl-95d6df3db4ba09cddb4d12e7613b811d774c8ef6.tar.gz ghdl-95d6df3db4ba09cddb4d12e7613b811d774c8ef6.tar.bz2 ghdl-95d6df3db4ba09cddb4d12e7613b811d774c8ef6.zip | |
ci: fix envvar name to run synth tests (#1024)
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" |