ci: Test `make precomp`

This commit is contained in:
Tim Ruffing 2021-11-13 15:52:44 +01:00
parent d94a37a20c
commit bb36fe9be0
1 changed files with 12 additions and 0 deletions

View File

@ -52,7 +52,19 @@ then
$EXEC ./bench $EXEC ./bench
} >> bench.log 2>&1 } >> bench.log 2>&1
fi fi
if [ "$CTIMETEST" = "yes" ] if [ "$CTIMETEST" = "yes" ]
then then
./libtool --mode=execute valgrind --error-exitcode=42 ./valgrind_ctime_test > valgrind_ctime_test.log 2>&1 ./libtool --mode=execute valgrind --error-exitcode=42 ./valgrind_ctime_test > valgrind_ctime_test.log 2>&1
fi 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