Skip to content

Commit

Permalink
Auto merge of #8205 - lcnr:patch-1, r=alexcrichton
Browse files Browse the repository at this point in the history
¬∃x. ¬y => ∀x. y
  • Loading branch information
bors committed May 4, 2020
2 parents 8dd9869 + e97b36a commit c7eddc1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/cargo/util/toml/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ fn do_read_manifest(
let (mut manifest, paths) =
TomlManifest::to_real_manifest(&manifest, source_id, package_root, config)?;
add_unused(manifest.warnings_mut());
if !manifest.targets().iter().any(|t| !t.is_custom_build()) {
if manifest.targets().iter().all(|t| t.is_custom_build()) {
bail!(
"no targets specified in the manifest\n \
either src/lib.rs, src/main.rs, a [lib] section, or \
Expand Down

0 comments on commit c7eddc1

Please sign in to comment.