diff options
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 2787410fe..40e7c4573 100644 --- a/.travis.yml +++ b/.travis.yml @@ -46,6 +46,8 @@ before_install: before_script: - uname -a + - coqc --version + - echo | coqtop - source ./etc/ci/travis_keep_alive.sh - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-7 |