Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Revert "[REVERT] Don't enforce OSABI" #111

Merged
merged 1 commit into from
Jun 25, 2022
Merged

Revert "[REVERT] Don't enforce OSABI" #111

merged 1 commit into from
Jun 25, 2022

Conversation

mkroening
Copy link
Member

@mkroening mkroening commented May 31, 2022 •
edited
Loading

This reverts commit 913135a.

This depends on hermit-os/hermit-rs#300.

@mkroening mkroening self-assigned this May 31, 2022
@mkroening mkroening changed the title [DO NOT MERGE] Revert "[REVERT] Don't enforce OSABI" Revert "[REVERT] Don't enforce OSABI" Jun 25, 2022
@mkroening
Copy link
Member Author

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 25, 2022

Build succeeded:

@bors bors bot merged commit 651cf4f into hermit-os:master Jun 25, 2022
@mkroening mkroening deleted the enforce-osabi branch June 25, 2022 09:16
@mkroening mkroening mentioned this pull request Jun 25, 2022
Merged
bors bot added a commit that referenced this pull request Jun 25, 2022
@bors @mkroening
Merge #131
4e3dec3 
131: Revert "Revert "[REVERT] Don't enforce OSABI"" r=mkroening a=mkroening

Reverts #111.

There are issues with using the latest toolchain with RustyHermit's rusty-demo, so that has to be resolved first.

Co-authored-by: Martin Kröning <mkroening@posteo.net>
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@mkroening mkroening

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mkroening