From 08cc4d2be9e1eca3bded6d28b3a1872d2e45c685 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 3 Nov 2016 19:25:38 +0100
Subject: [PATCH] safeguard against outdated submodule

---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c9e18f52..20e39e3f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,7 +23,8 @@ lrust:
   - coq
   script:
   - coqc -v
-  # prepare the environment
+  # prepare the environment, safeguard against outdated submodule
+  - 'git submodule status iris | egrep "^ "'
   - 'ln -s iris iris-enabled'
   # build local repo
   - 'time make -j8'
-- 
GitLab