diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 99e3ce199f4..0b535532f69 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -288,6 +288,7 @@ docker \ --env DIST_TRY_BUILD \ --env PR_CI_JOB \ --env OBJDIR_ON_HOST="$objdir" \ + --env CODEGEN_BACKENDS \ --init \ --rm \ rust-ci \