Merge branch 'develop' into main
This commit is contained in:
commit
ab4b52a5b0
|
|
@ -1,6 +1,23 @@
|
|||
{
|
||||
"version": "2.0.0",
|
||||
"tasks": [
|
||||
{
|
||||
"label": "Configure",
|
||||
"detail": "Configure project",
|
||||
"type": "shell",
|
||||
"command": "${workspaceFolder}/configure",
|
||||
"args": [
|
||||
],
|
||||
"group": "build",
|
||||
"presentation": {
|
||||
"echo": true,
|
||||
"reveal": "always",
|
||||
"focus": true,
|
||||
"panel": "shared",
|
||||
"showReuseMessage": true,
|
||||
"clear": true
|
||||
}
|
||||
},
|
||||
{
|
||||
"label": "Build",
|
||||
"detail": "Build project",
|
||||
|
|
@ -56,12 +73,13 @@
|
|||
}
|
||||
},
|
||||
{
|
||||
"label": "Run",
|
||||
"detail": "Build project and run",
|
||||
"label": "Run Debug",
|
||||
"detail": "Build project in debug mode and run",
|
||||
"type": "shell",
|
||||
"command": "make",
|
||||
"args": [
|
||||
"-j$(nproc)",
|
||||
"DEBUG=2",
|
||||
"run"
|
||||
],
|
||||
"group": "build",
|
||||
|
|
@ -75,13 +93,13 @@
|
|||
}
|
||||
},
|
||||
{
|
||||
"label": "Build Release",
|
||||
"detail": "Build project in release mode",
|
||||
"label": "Build Debug",
|
||||
"detail": "Build project in debug mode",
|
||||
"type": "shell",
|
||||
"command": "make",
|
||||
"args": [
|
||||
"-j$(nproc)",
|
||||
"RELEASE=1"
|
||||
"DEBUG=2"
|
||||
],
|
||||
"group": "build",
|
||||
"presentation": {
|
||||
|
|
|
|||
Loading…
Reference in New Issue