From bf9c0fb650e94fc522e1583d557c43320d2f41c0 Mon Sep 17 00:00:00 2001
From: Nicolas Bigaouette <nbigaouette@gmail.com>
Date: Thu, 17 Jan 2019 15:05:55 -0500
Subject: [PATCH] Fix typo: 'rust-gdbgui' instead of 'rust-gdbui'

---
 src/bootstrap/dist.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bootstrap/dist.rs b/src/bootstrap/dist.rs
index 2cab55ef2e0..71662e8b941 100644
--- a/src/bootstrap/dist.rs
+++ b/src/bootstrap/dist.rs
@@ -602,7 +602,7 @@ 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-gdbui"), &sysroot.join("bin"),
+            builder.install(&builder.src.join("src/etc/rust-gdbgui"), &sysroot.join("bin"),
                     0o755);
 
             cp_debugger_script("gdb_load_rust_pretty_printers.py");