Skip to content

Commit bb36fe9

Browse files
ci: Test make precomp
1 parent d94a37a commit bb36fe9

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

ci/cirrus.sh

+12
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,19 @@ then
5252
$EXEC ./bench
5353
} >> bench.log 2>&1
5454
fi
55+
5556
if [ "$CTIMETEST" = "yes" ]
5657
then
5758
./libtool --mode=execute valgrind --error-exitcode=42 ./valgrind_ctime_test > valgrind_ctime_test.log 2>&1
5859
fi
60+
61+
# Rebuild precomputed files (if not cross-compiling).
62+
if [ -z "$HOST" ]
63+
then
64+
make clean-precomp
65+
make precomp
66+
fi
67+
68+
# Check that no repo files have been modified by the build.
69+
# (This fails for example if the precomp files need to be updated in the repo.)
70+
git diff --exit-code

0 commit comments

Comments
 (0)