configure: Show exhaustive tests in summary

Fixes #1658.
This commit is contained in:
Tim Ruffing
2025-03-13 12:56:21 +01:00
parent e56716a3bc
commit 20b05c9d3f

View File

@@ -476,6 +476,7 @@ echo "Build Options:"
echo " with external callbacks = $enable_external_default_callbacks"
echo " with benchmarks = $enable_benchmark"
echo " with tests = $enable_tests"
echo " with exhaustive tests = $enable_exhaustive_tests"
echo " with ctime tests = $enable_ctime_tests"
echo " with coverage = $enable_coverage"
echo " with examples = $enable_examples"