mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-24 09:25:31 +02:00
Use GDB = "gdb"
This commit is contained in:
parent
b184f762be
commit
d2a39db148
1 changed files with 6 additions and 3 deletions
|
@ -39,6 +39,9 @@ public class MIPlugin extends Plugin {
|
|||
// GDB init command file
|
||||
private static final String GDBINIT = ".gdbinit";
|
||||
|
||||
// GDB command
|
||||
private static final String GDB = "gdb";
|
||||
|
||||
/**
|
||||
* The constructor
|
||||
* @see org.eclipse.core.runtime.Plugin#Plugin(IPluginDescriptor)
|
||||
|
@ -106,7 +109,7 @@ public class MIPlugin extends Plugin {
|
|||
*/
|
||||
public ICDISession createCSession(String gdb, File program, File cwd, String gdbinit, PTY pty) throws IOException, MIException {
|
||||
if (gdb == null || gdb.length() == 0) {
|
||||
gdb = "gdb";
|
||||
gdb = GDB;
|
||||
}
|
||||
|
||||
if (gdbinit == null || gdbinit.length() == 0) {
|
||||
|
@ -158,7 +161,7 @@ public class MIPlugin extends Plugin {
|
|||
*/
|
||||
public ICDISession createCSession(String gdb, File program, File core, File cwd, String gdbinit) throws IOException, MIException {
|
||||
if (gdb == null || gdb.length() == 0) {
|
||||
gdb = "gdb";
|
||||
gdb = GDB;
|
||||
}
|
||||
|
||||
if (gdbinit == null || gdbinit.length() == 0) {
|
||||
|
@ -185,7 +188,7 @@ public class MIPlugin extends Plugin {
|
|||
*/
|
||||
public ICDISession createCSession(String gdb, File program, int pid, String[] targetParams, File cwd, String gdbinit) throws IOException, MIException {
|
||||
if (gdb == null || gdb.length() == 0) {
|
||||
gdb = "gdb";
|
||||
gdb = GDB;
|
||||
}
|
||||
|
||||
if (gdbinit == null || gdbinit.length() == 0) {
|
||||
|
|
Loading…
Add table
Reference in a new issue