diff --git a/.travis.yml b/.travis.yml index 460fd43..8e865e5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -5,4 +5,4 @@ services: docker before_install: docker pull ghdl/vunit:llvm -script: docker run --rm -t -v `pwd`:/build -w /build ghdl/vunit:llvm bash -c "apt update && apt install -y python3-pexpect && make GNATMAKE='gnatmake -j'$(nproc) && make -j$(nproc) check_light" +script: docker run --rm -t -v `pwd`:/build -w /build ghdl/vunit:llvm bash -c "apt update && apt install -y python3-pexpect && make GNATMAKE='gnatmake -j'$(nproc) && if [ -n \"$TRAVIS_FULL_CHECK\" ] ; then make -j$(nproc) check; else make -j$(nproc) check_light ; fi"