diff options
| author | bors <bors@rust-lang.org> | 2019-01-21 03:12:26 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-01-21 03:12:26 +0000 |
| commit | b5f5a2715ed8685bc19fd589a23c7c658c2fe6bd (patch) | |
| tree | d827ca2e124ad4bfc849b0a6f33e74f476d1c28a /src/bootstrap | |
| parent | 7bac68a5d36d18f6ddcf4a3e3bd9f276bb2d18e5 (diff) | |
| parent | bf9c0fb650e94fc522e1583d557c43320d2f41c0 (diff) | |
| download | rust-b5f5a2715ed8685bc19fd589a23c7c658c2fe6bd.tar.gz rust-b5f5a2715ed8685bc19fd589a23c7c658c2fe6bd.zip | |
Auto merge of #57708 - nbigaouette:pr-53774-fix-missing-rust-gdbui-install, r=Mark-Simulacrum
Install missing 'rust-gdbui'' PR #53774 added `rust-gdbui` as wrapper to launch [gdbui](https://gdbgui.com/), similar to `rust-gdb`. Unfortunately I've never seen the script in my local installation (from rustup, using rust 1.31.1). @tromey on the PR [suggested it might be missing](https://github.com/rust-lang/rust/pull/53774#issuecomment-419704939) from the installation process. This PR simply adds a line for `rust-gdbui` too.
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/dist.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bootstrap/dist.rs b/src/bootstrap/dist.rs index df34dfe4544..71662e8b941 100644 --- a/src/bootstrap/dist.rs +++ b/src/bootstrap/dist.rs @@ -602,6 +602,8 @@ impl Step for DebuggerScripts { // gdb debugger scripts builder.install(&builder.src.join("src/etc/rust-gdb"), &sysroot.join("bin"), 0o755); + builder.install(&builder.src.join("src/etc/rust-gdbgui"), &sysroot.join("bin"), + 0o755); cp_debugger_script("gdb_load_rust_pretty_printers.py"); cp_debugger_script("gdb_rust_pretty_printing.py"); |