diff options
| author | Pietro Albini <pietro.albini@ferrous-systems.com> | 2023-10-24 12:46:12 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro.albini@ferrous-systems.com> | 2023-10-24 12:46:12 +0200 |
| commit | 5a562d962edacea1420e25ffee4d7ef73e91670f (patch) | |
| tree | 7f7795a4d6af9a860a40ea7c1e274880d6d80971 /src | |
| parent | 545cc830e1fb22fe180dea2f713e6472b52707f9 (diff) | |
| download | rust-5a562d962edacea1420e25ffee4d7ef73e91670f.tar.gz rust-5a562d962edacea1420e25ffee4d7ef73e91670f.zip | |
pass the correct args to compiletest
Diffstat (limited to 'src')
| -rw-r--r-- | src/bootstrap/src/core/build_steps/test.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/bootstrap/src/core/build_steps/test.rs b/src/bootstrap/src/core/build_steps/test.rs index 831a86940fb..6c166332c18 100644 --- a/src/bootstrap/src/core/build_steps/test.rs +++ b/src/bootstrap/src/core/build_steps/test.rs @@ -1873,6 +1873,10 @@ note: if you're sure you want to do this, please open an issue as to why. In the cmd.arg("--git-hash"); } + let git_config = builder.config.git_config(); + cmd.arg("--github-repository").arg(git_config.github_repository); + cmd.arg("--nightly-branch").arg(git_config.nightly_branch); + builder.ci_env.force_coloring_in_ci(&mut cmd); #[cfg(feature = "build-metrics")] |