Fix error due to renaming of ignore_git

duckymirror · duckymirror · commit bfa87984d272 · 2023-04-16T12:50:33.000+02:00
diff --git 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");
         }
 

Original file line number	Diff line number	Diff line change
`@@ -1804,7 +1804,7 @@ note: if you're sure you want to do this, please open an issue as to why. In the`
`1804`	`1804`
`1805`	`1805`	`cmd.arg("--channel").arg(&builder.config.channel);`
`1806`	`1806`
`1807`		`- if !builder.config.ignore_git {`
	`1807`	`+ if !builder.config.omit_git_hash {`
`1808`	`1808`	`cmd.arg("--git-hash");`
`1809`	`1809`	`}`
`1810`	`1810`