commit b5f5a2715ed8685bc19fd589a23c7c658c2fe6bd
author bors <bors@rust-lang.org> Mon Jan 21 03:12:26 2019 +0000
committer bors <bors@rust-lang.org> Mon Jan 21 03:12:26 2019 +0000
tree d827ca2e124ad4bfc849b0a6f33e74f476d1c28a
parent 7bac68a5d36d18f6ddcf4a3e3bd9f276bb2d18e5
parent bf9c0fb650e94fc522e1583d557c43320d2f41c0

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.

src/bootstrap/dist.rs

diff --git a/src/bootstrap/dist.rs b/src/bootstrap/dist.rs
index df34dfe..71662e8 100644
--- a/src/bootstrap/dist.rs
+++ b/src/bootstrap/dist.rs
@@ -602,6 +602,8 @@
             // 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");