add tasks.json => make; make_build

This commit is contained in:
Théophyl Hoguet committed 2022-02-07 22:28:54 +01:00
1 parent fe6a983b72
commit d5021e8648
1 file changed
+28
Vendored Executable
+28
View File
@@ -0,0 +1,28 @@
{
// See https://go.microsoft.com/fwlink/?LinkId=733558
// for the documentation about the tasks.json format
"version": "2.0.0",
"tasks": [
{
"label": "make",
"type": "shell",
"command": "make --directory=${workspaceFolder}",
"problemMatcher": [
"$gcc"
],
"group": "build"
},
{
"label": "make_build",
"type": "shell",
"command": "make --directory=${workspaceFolder}/build/",
"problemMatcher": [
"$gcc"
],
"group": {
"kind": "build",
"isDefault": true
}
}
]
}