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

Improve port upgrading experience #1027

Merged
merged 1 commit into from
Jul 11, 2023
Merged

Conversation

ekilmer
Copy link
Collaborator

@ekilmer ekilmer commented Jul 11, 2023

Only upgrade ports that are specified. Also ask the user if they're sure they want to upgrade.

Should prevent accidentally deleting/rebuilding LLVM if it's out of date or if trying to upgrade a port it depends on.

@ekilmer ekilmer requested a review from Ninja3047 as a code owner July 11, 2023 14:13
@ekilmer ekilmer force-pushed the ekilmer/improve-port-upgrading branch from 32b336a to f510683 Compare July 11, 2023 14:16
build_dependencies.sh Outdated Show resolved Hide resolved
build_dependencies.sh Outdated Show resolved Hide resolved
@ekilmer ekilmer force-pushed the ekilmer/improve-port-upgrading branch from f510683 to 40087a5 Compare July 11, 2023 14:29
@ekilmer ekilmer requested a review from Ninja3047 July 11, 2023 14:29
@ekilmer ekilmer merged commit 8b4c12e into master Jul 11, 2023
@ekilmer ekilmer deleted the ekilmer/improve-port-upgrading branch July 11, 2023 15:12
xlauko pushed a commit that referenced this pull request Sep 15, 2023
Only upgrade ports that are specified. Also, ask the user if they're sure they want to upgrade.

It should prevent accidentally deleting/rebuilding LLVM if it's out of date or if trying to upgrade a port it depends on.
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.

2 participants