Skip to content

Add $FEATURES to build flags - #343

Merged
martin-hughes merged 1 commit into
rust-osdev:mainfrom
martin-hughes:fix-false-positive-pipeline
Sep 6, 2026
Merged

Add $FEATURES to build flags#343
martin-hughes merged 1 commit into
rust-osdev:mainfrom
martin-hughes:fix-false-positive-pipeline

Conversation

@martin-hughes

Copy link
Copy Markdown
Contributor

@IsaacWoods, @mkroening This is probably why we didn't see #342 beforehand.

Silly mistake, my apologies. I'll merge this, and then that'll be a good test that #342 is correct (which it almost certainly is)

We had a bit of a mystery about why rust-osdev#342 didn't get caught beforehand.
The reason was that the $FEATURES environment variable was never being
set.

Set that variable. This will cause the build to fail. Then we should see
rust-osdev#342 fix it.
@martin-hughes
martin-hughes merged commit 0d648c7 into rust-osdev:main Sep 6, 2026
5 of 6 checks passed
@IsaacWoods

Copy link
Copy Markdown
Member

😬
Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants