From 7f6a8aa499bb4083395ee85483dfe21d1a485b17 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 5 Dec 2017 13:01:28 -0500
Subject: Print out Coq version info on travis

---
 .travis.yml | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.travis.yml')

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