Install missing 'rust-gdbui''

See https://github.com/rust-lang/rust/pull/53774#issuecomment-419704939
This commit is contained in:
Nicolas Bigaouette 2019-01-17 14:16:26 -05:00
parent daa53a52a2
commit 351946f974
1 changed files with 2 additions and 0 deletions

View File

@ -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-gdbui"), &sysroot.join("bin"),
0o755);
cp_debugger_script("gdb_load_rust_pretty_printers.py");
cp_debugger_script("gdb_rust_pretty_printing.py");