Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

add very basic Android support #2493

Merged
merged 4 commits into from
Aug 18, 2022
Merged

add very basic Android support #2493

merged 4 commits into from
Aug 18, 2022

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Aug 18, 2022

This is just enough to print to stdout. I won't push this any further, but having these basics should hopefully make it easier for others to do so.

Also slightly improve threading support on FreeBSD while we are at it.

Partially based on #2011.
Fixes #2010.

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Aug 18, 2022

📌 Commit 3ec8dd8 has been approved by RalfJung

It is now in the queue for this repository.

bors added a commit that referenced this pull request Aug 18, 2022
add very basic Android support

This is just enough to print to stdout. I won't push this any further, but having these basics should hopefully make it easier for others to do so.

Also slightly improve threading support on FreeBSD while we are at it.

Partially based on #2011.
Fixes #2010.
@bors
Copy link
Contributor

bors commented Aug 18, 2022

⌛ Testing commit 3ec8dd8 with merge 0f6d2bc...

@RalfJung
Copy link
Member Author

@bors retry r+

@bors
Copy link
Contributor

bors commented Aug 18, 2022

📌 Commit 4359f43 has been approved by RalfJung

It is now in the queue for this repository.

bors added a commit that referenced this pull request Aug 18, 2022
add very basic Android support

This is just enough to print to stdout. I won't push this any further, but having these basics should hopefully make it easier for others to do so.

Also slightly improve threading support on FreeBSD while we are at it.

Partially based on #2011.
Fixes #2010.
@bors
Copy link
Contributor

bors commented Aug 18, 2022

⌛ Testing commit 4359f43 with merge fd993fc...

@bors
Copy link
Contributor

bors commented Aug 18, 2022

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Aug 18, 2022

📌 Commit 5e10f14 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 18, 2022

⌛ Testing commit 5e10f14 with merge 339500f...

@bors
Copy link
Contributor

bors commented Aug 18, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 339500f to master...

@bors bors merged commit 339500f into rust-lang:master Aug 18, 2022
@RalfJung RalfJung deleted the android branch August 18, 2022 13:56
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.

Miri fails to run a binary targeting Android
2 participants