Clone of official tools
export/vscode/tasks.tmpl@47:21ae3e5a7128, 2021-02-04 (annotated)
- Committer:
- Anders Blomdell
- Date:
- Thu Feb 04 17:17:13 2021 +0100
- Revision:
- 47:21ae3e5a7128
- Parent:
- 36:96847d42f010
Add a few normpath calls
Who changed what in which revision?
User | Revision | Line number | New contents of line |
---|---|---|---|
The Other Jimmy |
36:96847d42f010 | 1 | { |
The Other Jimmy |
36:96847d42f010 | 2 | // See https://go.microsoft.com/fwlink/?LinkId=733558 |
The Other Jimmy |
36:96847d42f010 | 3 | // for the documentation about the tasks.json format |
The Other Jimmy |
36:96847d42f010 | 4 | "version": "0.1.0", |
The Other Jimmy |
36:96847d42f010 | 5 | "name": "make", |
The Other Jimmy |
36:96847d42f010 | 6 | "isShellCommand": true, |
The Other Jimmy |
36:96847d42f010 | 7 | "showOutput": "always", |
The Other Jimmy |
36:96847d42f010 | 8 | "problemMatcher": { |
The Other Jimmy |
36:96847d42f010 | 9 | "owner": "cpp", |
The Other Jimmy |
36:96847d42f010 | 10 | "fileLocation": ["relative", "${workspaceRoot}/mbed-os"], |
The Other Jimmy |
36:96847d42f010 | 11 | "pattern": { |
The Other Jimmy |
36:96847d42f010 | 12 | "regexp": "^(.*):(\\d+):(\\d+):\\s+(warning|error):\\s+(.*)$", |
The Other Jimmy |
36:96847d42f010 | 13 | "file": 1, |
The Other Jimmy |
36:96847d42f010 | 14 | "line": 2, |
The Other Jimmy |
36:96847d42f010 | 15 | "column": 3, |
The Other Jimmy |
36:96847d42f010 | 16 | "severity": 4, |
The Other Jimmy |
36:96847d42f010 | 17 | "message": 5 |
The Other Jimmy |
36:96847d42f010 | 18 | } |
The Other Jimmy |
36:96847d42f010 | 19 | }, |
The Other Jimmy |
36:96847d42f010 | 20 | "args": ["-j"], |
The Other Jimmy |
36:96847d42f010 | 21 | "linux": { |
The Other Jimmy |
36:96847d42f010 | 22 | "command": "make" |
The Other Jimmy |
36:96847d42f010 | 23 | }, |
The Other Jimmy |
36:96847d42f010 | 24 | "osx": { |
The Other Jimmy |
36:96847d42f010 | 25 | "command": "make" |
The Other Jimmy |
36:96847d42f010 | 26 | }, |
The Other Jimmy |
36:96847d42f010 | 27 | "windows": { |
The Other Jimmy |
36:96847d42f010 | 28 | "command": "make.exe" |
The Other Jimmy |
36:96847d42f010 | 29 | } |
The Other Jimmy |
36:96847d42f010 | 30 | } |