Skip to content

Conversation

@nspin
Copy link
Member

@nspin nspin commented Feb 29, 2024

Add build.rs that determines which side of rust-lang/rust#121598 the toolchain is on.

@nspin nspin merged commit 0241655 into seL4:main Feb 29, 2024
@nspin nspin deleted the pr/panicking-compatibility branch February 29, 2024 08:52
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.

1 participant