Skip to content

Commit 8045438

Browse files
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.
1 parent 4ff3df8 commit 8045438

File tree

1 file changed

+0
-10
lines changed

1 file changed

+0
-10
lines changed

src/bootstrap/config.rs

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -331,21 +331,11 @@ impl Config {
331331
}
332332
}
333333
config.hosts = if !flags.host.is_empty() {
334-
for host in flags.host.iter() {
335-
if !config.hosts.contains(host) {
336-
panic!("specified host `{}` is not in configuration", host);
337-
}
338-
}
339334
flags.host
340335
} else {
341336
config.hosts
342337
};
343338
config.targets = if !flags.target.is_empty() {
344-
for target in flags.target.iter() {
345-
if !config.targets.contains(target) {
346-
panic!("specified target `{}` is not in configuration", target);
347-
}
348-
}
349339
flags.target
350340
} else {
351341
config.targets

0 commit comments

Comments
 (0)