diff options
Diffstat (limited to 'community/rust/bootstrap-tool-respect-tool-config.patch')
| -rw-r--r-- | community/rust/bootstrap-tool-respect-tool-config.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/community/rust/bootstrap-tool-respect-tool-config.patch b/community/rust/bootstrap-tool-respect-tool-config.patch deleted file mode 100644 index 958ef29e5c..0000000000 --- a/community/rust/bootstrap-tool-respect-tool-config.patch +++ /dev/null @@ -1,26 +0,0 @@ -From: Jakub Jirutka <jakub@jirutka.cz> -Date: Sun, 20 May 2018 14:58:00 +0200 -Subject: [PATCH] Fix tool builder to respect build.tools config - ---- a/src/bootstrap/tool.rs -+++ b/src/bootstrap/tool.rs -@@ -464,7 +464,8 @@ - - fn should_run(run: ShouldRun) -> ShouldRun { - let builder = run.builder; -- run.path("src/tools/cargo").default_condition(builder.config.extended) -+ run.path("src/tools/cargo").default_condition(builder.config.extended -+ && builder.config.tools.as_ref().map_or(true, |t| t.contains("cargo"))) - } - - fn make_run(run: RunConfig) { -@@ -518,7 +519,8 @@ - - fn should_run(run: ShouldRun) -> ShouldRun { - let builder = run.builder; -- run.path($path).default_condition(builder.config.extended) -+ run.path($path).default_condition(builder.config.extended -+ && builder.config.tools.as_ref().map_or(true, |t| t.contains($tool_name))) - } - - fn make_run(run: RunConfig) { |