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

Remove --install-dir option #656

Merged
merged 6 commits into from
Oct 18, 2022

Conversation

bryevdv
Copy link
Contributor

@bryevdv bryevdv commented Oct 12, 2022

redo of #654

install.py Outdated Show resolved Hide resolved
@trxcllnt trxcllnt added the category:improvement PR introduces an improvement and will be classified as such in release notes label Oct 12, 2022
@bryevdv
Copy link
Contributor Author

bryevdv commented Oct 17, 2022

@manopapad I implemented (2) in 357aeee

install.py Outdated Show resolved Hide resolved
install.py Outdated Show resolved Hide resolved
@bryevdv bryevdv merged commit bf5b7f2 into nv-legate:branch-22.12 Oct 18, 2022
@bryevdv bryevdv deleted the bv/remove-install branch October 18, 2022 16:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:improvement PR introduces an improvement and will be classified as such in release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants