Merge pull request #35 from TurkeyMan/debugger_selection

More debugging api's
This commit is contained in:
Manu Evans 2015-04-17 09:46:33 +10:00
commit ff4689b3c0

View File

@ -246,6 +246,24 @@
},
}
api.register {
name = "debugger",
scope = "config",
kind = "string",
allowed = {
"Default",
"GDB",
"LLDB",
}
}
api.register {
name = "debugpathmap",
scope = "config",
kind = "list:keyed:path",
tokens = true,
}
api.register {
name = "debugport",
scope = "config",
@ -273,6 +291,22 @@
tokens = true,
}
api.register {
name = "debugtoolargs",
scope = "config",
kind = "list:string",
tokens = true,
pathVars = true,
}
api.register {
name = "debugtoolcommand",
scope = "config",
kind = "path",
tokens = true,
pathVars = true,
}
api.register {
name = "defaultplatform",
scope = "project",