From 95d6df3db4ba09cddb4d12e7613b811d774c8ef6 Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Wed, 20 Nov 2019 06:17:58 +0000
Subject: ci: fix envvar name to run synth tests (#1024)

---
 dist/travis/travis-ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dist')

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"
-- 
cgit v1.2.3