From b817a68391bbd3cfe5285457d61111500afeb158 Mon Sep 17 00:00:00 2001
From: Sebastien Marie <semarie@online.fr>
Date: Fri, 27 Dec 2019 05:32:11 +0000
Subject: [PATCH] allow rustfmt key in [build] section

---
 src/bootstrap/config.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs
index 11bfc7a47cc48..4fdfb744f381c 100644
--- a/src/bootstrap/config.rs
+++ b/src/bootstrap/config.rs
@@ -201,6 +201,7 @@ struct Build {
     target: Vec<String>,
     cargo: Option<String>,
     rustc: Option<String>,
+    rustfmt: Option<String>, /* allow bootstrap.py to use rustfmt key */
     docs: Option<bool>,
     compiler_docs: Option<bool>,
     submodules: Option<bool>,