diff --git a/.evergreen/run-tests.sh b/.evergreen/run-tests.sh index 36fa76e317..1e03e27147 100755 --- a/.evergreen/run-tests.sh +++ b/.evergreen/run-tests.sh @@ -47,6 +47,11 @@ else echo "Not sourcing secrets" fi +# Ensure C extensions have compiled. +if [ -z "${NO_EXT:-}" ]; then + python tools/fail_if_no_c.py +fi + if [ "$AUTH" != "noauth" ]; then if [ ! -z "$TEST_DATA_LAKE" ]; then export DB_USER="mhuser"