From 84d9a6ee8cb40ea3dc390b8f4e2862289cb14f7e Mon Sep 17 00:00:00 2001
From: Mark Simulacrum <mark.simulacrum@gmail.com>
Date: Sat, 29 Jul 2017 22:26:28 -0600
Subject: [PATCH] Allow specifiying targets and hosts not in the config file.

We no longer care about the source of this information, so there is no
reason to restrict users.
---
 src/bootstrap/config.rs | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs
index c0494bd7fd083..e1c60b5d19143 100644
--- a/src/bootstrap/config.rs
+++ b/src/bootstrap/config.rs
@@ -334,21 +334,11 @@ impl Config {
             }
         }
         config.hosts = if !flags.host.is_empty() {
-            for host in flags.host.iter() {
-                if !config.hosts.contains(host) {
-                    panic!("specified host `{}` is not in configuration", host);
-                }
-            }
             flags.host
         } else {
             config.hosts
         };
         config.targets = if !flags.target.is_empty() {
-            for target in flags.target.iter() {
-                if !config.targets.contains(target) {
-                    panic!("specified target `{}` is not in configuration", target);
-                }
-            }
             flags.target
         } else {
             config.targets