diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-10-28 19:00:49 +0000 |
|---|---|---|
| committer | onur-ozkan <work@onurozkan.dev> | 2023-11-04 15:11:51 +0300 |
| commit | d82fdb6616207dff00af563508c6e6cc5aaa4ca3 (patch) | |
| tree | b6110bc1b9ecfee4fd5904f4df39e3cb8fdb9f98 | |
| parent | fda009c858fe2039f981be56ce4b177da1fb8703 (diff) | |
| download | rust-d82fdb6616207dff00af563508c6e6cc5aaa4ca3.tar.gz rust-d82fdb6616207dff00af563508c6e6cc5aaa4ca3.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 a2891ef9563..cedbc0390f8 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -302,6 +302,7 @@ docker \ --env DIST_TRY_BUILD \ --env PR_CI_JOB \ --env OBJDIR_ON_HOST="$objdir" \ + --env CODEGEN_BACKENDS \ --init \ --rm \ rust-ci \ |