Install missing 'rust-gdbui''

See https://github.com/rust-lang/rust/pull/53774#issuecomment-419704939

diff --git a/src/bootstrap/dist.rs b/src/bootstrap/dist.rs
index df34dfe4544ae4e550b5c8981a2006e1c0688944..2cab55ef2e0fa85610f3c8c17d14c4eff24ee1b2 100644 (file)
--- a/src/bootstrap/dist.rs
+++ b/src/bootstrap/dist.rs
@@ -602,6 +602,8 @@ fn run(self, builder: &Builder) {
             // gdb debugger scripts
             builder.install(&builder.src.join("src/etc/rust-gdb"), &sysroot.join("bin"),
                     0o755);
+            builder.install(&builder.src.join("src/etc/rust-gdbui"), &sysroot.join("bin"),
+                    0o755);
 
             cp_debugger_script("gdb_load_rust_pretty_printers.py");
             cp_debugger_script("gdb_rust_pretty_printing.py");