diff options
| author | Erik Hofmayer <ehofmayer@outlook.de> | 2023-04-09 12:27:41 +0200 |
|---|---|---|
| committer | Erik Hofmayer <ehofmayer@outlook.de> | 2023-04-16 12:50:33 +0200 |
| commit | bfa87984d272f06b5a3af6ed3030dcdaa53d9cab (patch) | |
| tree | 23a549efc4ff2257dbb9ceed0bab043abca37bd3 | |
| parent | 550df4d34b4398a232058641980c1a5619fe152e (diff) | |
| download | rust-bfa87984d272f06b5a3af6ed3030dcdaa53d9cab.tar.gz rust-bfa87984d272f06b5a3af6ed3030dcdaa53d9cab.zip | |
Fix error due to renaming of ignore_git
| -rw-r--r-- | src/bootstrap/test.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index cbdacfc5f80..3814dc63ed4 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -1804,7 +1804,7 @@ note: if you're sure you want to do this, please open an issue as to why. In the cmd.arg("--channel").arg(&builder.config.channel); - if !builder.config.ignore_git { + if !builder.config.omit_git_hash { cmd.arg("--git-hash"); } |