From 34fe7947da904853bafd5328d0377c7fc23ed2ac Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 4 Nov 2017 17:34:42 -0400 Subject: Print coq version on smithers --- etc/ci/smithers.sh | 2 ++ 1 file changed, 2 insertions(+) (limited to 'etc') diff --git a/etc/ci/smithers.sh b/etc/ci/smithers.sh index 2eb804bdd..247ab0690 100755 --- a/etc/ci/smithers.sh +++ b/etc/ci/smithers.sh @@ -5,6 +5,8 @@ set -ex cd "$WORKSPACE" export PATH="/opt/coq-$coq_version/bin${PATH:+:}$PATH" . /opt/bashrc/bashrc +coqtop -v +echo | coqtop export TARGETS="coq display bench test" export TARGETS="coq nonautogenerated-specific nonautogenerated-specific-display" # bench test" # bench and test don't work on smithers rm -f BUILD.ok -- cgit v1.2.3