Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🩺 Stability & Availability | 🟠 Major
🧩 Analysis chain
🌐 Web query:
Doesupdate-alternatives --installswitch the active alternative when a group is already in manual mode, or is an explicit--setrequired?💡 Result:
When a link group is in manual mode, the update-alternatives --install command will add the new alternative to the group's list of options, but it will not switch the active alternative [1][2]. The system respects the administrator's previous manual selection and will not automatically update the symlinks, even if the newly installed alternative has a higher priority [1][3][2]. To switch the active alternative in this scenario, you must either: 1. Use the --config command to interactively select the desired alternative [4]. 2. Use the --set command to explicitly define the active alternative [3]. In summary, an explicit action by the administrator is required to change the active link when the group is in manual mode [1][2].
Citations:
Force-select GCC 10 after registering the alternatives.
update-alternatives --installonly adds the choice; if the group is already in manual mode,gcc/cccan stay on the previous compiler. Add explicit--setfor both groups so the x86 build actually uses GCC 10.Suggested patch
pre-build = [ "apt-get update && apt-get install --assume-yes gcc-10 g++-10", "update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-10 100 --slave /usr/bin/g++ g++ /usr/bin/g++-10", "update-alternatives --install /usr/bin/cc cc /usr/bin/gcc-10 100", + "update-alternatives --set gcc /usr/bin/gcc-10", + "update-alternatives --set cc /usr/bin/gcc-10", ]📝 Committable suggestion
🤖 Prompt for AI Agents