From 67c16ccd3fd31f532f446d17c53837ac80e0b4a4 Mon Sep 17 00:00:00 2001
From: Ralf Jung
Date: Wed, 31 Jan 2018 20:22:19 +0100
Subject: CI: Run coqchk on Iris

---
 dev/ci/ci-iris-lambda-rust.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/ci/ci-iris-lambda-rust.sh b/dev/ci/ci-iris-lambda-rust.sh
index cf24d202d9..267e13359b 100755
--- a/dev/ci/ci-iris-lambda-rust.sh
+++ b/dev/ci/ci-iris-lambda-rust.sh
@@ -34,8 +34,8 @@ git_checkout ${stdpp_CI_BRANCH} ${stdpp_URL_PARTS[0]} ${stdpp_CI_DIR} ${stdpp_UR
 # Build std++
 ( cd ${stdpp_CI_DIR} && make && make install )
 
-# Build iris
-( cd ${Iris_CI_DIR} && make && make install )
+# Build and validate (except on Travis, i.e., skip if TRAVIS is non-empty) Iris
+( cd ${Iris_CI_DIR} && make && (test -n "${TRAVIS}" || make validate) && make install )
 
 # Build lambdaRust
 ( cd ${lambdaRust_CI_DIR} && make && make install )
-- 
cgit v1.2.3