diff options
Diffstat (limited to '.vscode')
-rw-r--r-- | .vscode/settings.json | 4 | ||||
-rw-r--r-- | .vscode/tasks.json | 58 |
2 files changed, 58 insertions, 4 deletions
diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index 5647e49..0000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,4 +0,0 @@ -{ - "makefile.extensionOutputFolder": "./.vscode", - "makefile.makefilePath": "makefile" -}
\ No newline at end of file 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" + }, + ] +} |