Add rust-gdbgui to the list of proxied tools #2811
Merged
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.
Attempts to complete #1950 which was
closed due to inactivity.
It appears that everywhere the rust-gdb wrapper script is available so is the rust-gdbgui.
https://github.com/rust-lang/rust/blob/a435b49e86d16e98dcc6595dd471f95e823f41aa/src/bootstrap/dist.rs#L513