1
Fork 0

Fix typo: 'rust-gdbgui' instead of 'rust-gdbui'

This commit is contained in:
Nicolas Bigaouette 2019-01-17 15:05:55 -05:00
parent 351946f974
commit bf9c0fb650

View file

@ -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");