From aa4de909b403b41f41103a43e0e4821e4d3146b0 Mon Sep 17 00:00:00 2001
From: Tim Ruffing <crypto@timruffing.de>
Date: Sat, 13 Nov 2021 15:52:44 +0100
Subject: [PATCH] ci: Test `make precomp`

---
 ci/cirrus.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/ci/cirrus.sh b/ci/cirrus.sh
index 39ec2adbee..08fb2e4fad 100755
--- a/ci/cirrus.sh
+++ b/ci/cirrus.sh
@@ -52,7 +52,19 @@ then
         $EXEC ./bench
     } >> bench.log 2>&1
 fi
+
 if [ "$CTIMETEST" = "yes" ]
 then
     ./libtool --mode=execute valgrind --error-exitcode=42 ./valgrind_ctime_test > valgrind_ctime_test.log 2>&1
 fi
+
+# Rebuild precomputed files (if not cross-compiling).
+if [ -z "$HOST" ]
+then
+    make clean-precomp
+    make precomp
+fi
+
+# Check that no repo files have been modified by the build.
+# (This fails for example if the precomp files need to be updated in the repo.)
+git diff --exit-code