message: travis: update gcov
diff: @@ -43,6 +43,7 @@ matrix:
  packages:
  - g++-8
  - gcc-8
  + -
  - name: "Python 3.7 gcc-7"
  python: 3.7
  @@ -69,7 +70,11 @@ addons:
  install:
  - sudo cp .travis/disco.list /etc/apt/sources.list.d/disco.list
  - sudo apt update
  -- if [ "$CODE_COVERAGE" == "1" ]; then sudo apt install -y lcov; gem install coveralls-lcov; fi
  +- if [ "$CODE_COVERAGE" == "1" ];
  + sudo update-alternatives --install /usr/bin/gcov gcov /usr/bin/gcov-8 10;
  + then sudo apt install -y lcov;
  + gem install coveralls-lcov;
  + fi
  - sudo apt install libantlr4-runtime-dev antlr4
  - pip install -r requirements.txt
  - python setup.py build $BUILD_ARGS
  