blob: eed2c26e8992ac905863411d016a3ba693394993 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
--- gdb/gdb.c.orig 2017-09-14 09:28:17 UTC
+++ gdb/gdb.c
@@ -28,6 +28,12 @@ main (int argc, char **argv)
memset (&args, 0, sizeof args);
args.argc = argc;
args.argv = argv;
- args.interpreter_p = INTERP_CONSOLE;
+ if (strncmp(basename(argv[0]), "insight", 7) == 0) {
+ args.interpreter_p = "insight";
+ } else if (strncmp(basename(argv[0]), "gdbtui", 6) == 0) {
+ args.interpreter_p = INTERP_TUI;
+ } else {
+ args.interpreter_p = INTERP_CONSOLE;
+ }
return gdb_main (&args);
}
|
