diff options
Diffstat (limited to '.vscode/tasks.json')
-rw-r--r-- | .vscode/tasks.json | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/.vscode/tasks.json b/.vscode/tasks.json new file mode 100644 index 0000000..056c4b9 --- /dev/null +++ b/.vscode/tasks.json @@ -0,0 +1,58 @@ +{ + "version": "2.0.0", + "command": "sh", + "options": { "cwd": "${workspaceFolder}" }, + "args": [ "-c" ], + "tasks": [ + { + "label": "build client", + "group": { + "isDefault": false, + "kind": "build" + }, + "args": [ "make", "-C", "client" ], + "command": "", + "type": "shell" + }, + { + "label": "build robot", + "group": { + "isDefault": false, + "kind": "build" + }, + "args": [ "make", "-C", "robot" ], + "command": "", + "type": "shell" + }, + { + "label": "flash robot", + "group": { + "isDefault": false, + "kind": "test" + }, + "args": [ "make", "flash", "-C", "robot" ], + "command": "", + "type": "shell" + }, + { + "label": "clean directories", + "group": { + "isDefault": false, + "kind": "none" + }, + "args": [ "make", "clean" ], + "command": "", + "type": "shell" + }, + { + "label": "format source files", + "group": { + "isDefault": false, + "kind": "none" + }, + "args": [ "make", "format" ], + "command": "", + "type": "shell" + }, + ] +} |