Skip to content

Commit

Permalink
build: Fix randomly missing -I entries
Browse files Browse the repository at this point in the history
Merges: #36
  • Loading branch information
chrysn authored Nov 24, 2023
2 parents c985a6b + 70edbc5 commit 501b354
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -102,6 +102,15 @@ fn main() {
keep
})
.collect();
// Hot-fixing the merging algorithm to even work when an (always to be kept) -I
// is not in the initial set
for group in cflag_groups.drain(..) {
if group[0].starts_with("-I") {
if !consensus_cflag_groups.contains(&group) {
consensus_cflag_groups.push(group);
}
}
}
}
} else {
consensus_cflag_groups = Some(cflag_groups);
Expand Down

0 comments on commit 501b354

Please sign in to comment.