2018-02-04 17:09:24 +00:00
|
|
|
{
|
|
|
|
// See https://go.microsoft.com/fwlink/?LinkId=733558
|
|
|
|
// for the documentation about the tasks.json format
|
|
|
|
"version": "2.0.0",
|
|
|
|
"tasks": [
|
|
|
|
{
|
2018-10-18 21:10:56 +01:00
|
|
|
"label": "ninja",
|
2018-02-04 17:09:24 +00:00
|
|
|
"type": "shell",
|
2018-10-18 21:10:56 +01:00
|
|
|
"command": "cd ${workspaceFolder}/build && ninja",
|
2018-02-04 17:09:24 +00:00
|
|
|
"group": {
|
|
|
|
"kind": "build",
|
|
|
|
"isDefault": true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
]
|
|
|
|
}
|