From c760b1a3f3332f68ab816176d98263a77bbf631f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Wed, 6 Oct 2021 19:22:34 +0200
Subject: [PATCH] CI: explicitly trigger recompilation in axiom check

Due to whatever the CI environment does to cache and restore
intermediate result files, somehow `make validate` triggers some
spurious recompilation. To avoid confusing the checking script,
trigger any possible re-compilation steps before capturing the output
of `make validate`.
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dd9c7d3f3..1d91c48a5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -163,6 +163,7 @@ validate:
   dependencies:
     - compile
   script:
+    - make -j ${NJOBS} # CI gotcha — get any spurious recompilation out of the way
     - make validate 2>&1 | tee validation-results.txt
     - scripts/check-validation-output.sh validation-results.txt
 
-- 
GitLab