创建分支
This commit is contained in:
1 parent
e8e2ecd86d
commit
9d814abd4f
841 files changed
+35780
-4140
No files matched your search
Vendored
+18
@@ -0,0 +1,18 @@
|
||||
{
|
||||
// 有关 tasks.json 格式的文档,请参见
|
||||
// https://go.microsoft.com/fwlink/?LinkId=733558
|
||||
"version": "2.0.0",
|
||||
"tasks": [
|
||||
{
|
||||
"label": "catkin_make:debug", //代表提示的描述性信息
|
||||
"type": "shell", //可以选择shell或者process,如果是shell代码是在shell里面运行一个命令,如果是process代表作为一个进程来运行
|
||||
"command": "catkin_make",//这个是我们需要运行的命令
|
||||
"args": [],//如果需要在命令后面加一些后缀,可以写在这里,比如-DCATKIN_WHITELIST_PACKAGES=“pac1;pac2”
|
||||
"group": {"kind":"build","isDefault":true},
|
||||
"presentation": {
|
||||
"reveal": "always"//可选always或者silence,代表是否输出信息
|
||||
},
|
||||
"problemMatcher": "$msCompile"
|
||||
}
|
||||
]
|
||||
}
|
||||
Reference in new issue
Block a user