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.

Sign up for GitHub

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

Jump to bottom

Need clean 3rd-party build #62

Closed

kohnech opened this issue Oct 8, 2023 · 1 comment

Contributor

kohnech commented Oct 8, 2023

When changing configuration I need also manually clean 3rd-party builds. It would simplify if they also configure and build under build directory.

kohnech mentioned this issue

Build and download 3rd-party to build dir #63

Merged

Contributor Author

kohnech commented Oct 8, 2023

Fixed by #63

kohnech closed this as completed

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