jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-09-03 18:35:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added 'optimize for debug' option

Browse Source
This commit is contained in:
Miro Spönemann
2020-02-24 10:33:39 +01:00
parent 486f110c80
commit 0445700088
24 changed files with 2441 additions and 424 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
arduino-ide-extension/src/common/protocol/boards-service.ts
View File

@@ -186,22 +186,12 @@ export interface BoardDetails extends Board {
fqbn: string;
requiredTools: Tool[];
locations?: BoardDetailLocations;
}
export interface BoardDetailLocations {
debugScript: string;
}
export interface Tool {
readonly packager: string;
readonly name: string;
readonly version: string;
readonly locations?: ToolLocations;
}
export interface ToolLocations {
main: string
[key: string]: string
}
export namespace Board {