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

Allow --with-rt configure option #2665

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Allow --with-rt configure option #2665

wants to merge 3 commits into from

Conversation

kikadf
Copy link

@kikadf kikadf commented Mar 14, 2024

These changes add --with-rt=... configure option. With that possible to disable rt if it is present on the host system, or set the path. The changes don’t modify the compile, not necessary to update any build scripts. Tested on linux with every rt configure option, works fine.

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