Clone of official tools

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?

UserRevisionLine numberNew 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 }