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

Todo: add rebuild-dist option #807

Closed
inclement opened this issue Jun 28, 2016 · 2 comments
Closed

Todo: add rebuild-dist option #807

inclement opened this issue Jun 28, 2016 · 2 comments

Comments

@inclement
Copy link
Member

inclement commented Jun 28, 2016

If dist_name is used and the dist already exists but has the wrong recipes, a rebuild-dist option could specify that the dist should be automatically replaced.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.

@KeyWeeUsr
Copy link
Contributor

I miss this in the old toolchain. At least I think it's not available, because I had to manually remove built packages or remove the whole dist.

@inclement
Copy link
Member Author

I think the dists get automatically replaced nowadays, at the very least due to a change I made for the ndk-api addition.

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

No branches or pull requests

2 participants