diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-10-28 19:00:49 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-10-28 19:00:49 +0000 |
| commit | 794bf8a850b3e83705845de398b51547d5366bb1 (patch) | |
| tree | 3cae72d0f42b6b884e128799d20a722a68308c3e | |
| parent | 6a66ca215bfda3ce9c81725c7f97eeb7fcdf8c48 (diff) | |
| download | rust-794bf8a850b3e83705845de398b51547d5366bb1.tar.gz rust-794bf8a850b3e83705845de398b51547d5366bb1.zip | |
pass `CODEGEN_BACKENDS` to docker
| -rwxr-xr-x | src/ci/docker/run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |