diff options
| -rw-r--r-- | .vscode/tasks.json | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/.vscode/tasks.json b/.vscode/tasks.json index d77bb56..74cbc54 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json @@ -11,7 +11,7 @@ "-m", "32M", "-cdrom", - "${workspaceFolder}/build/Debug/teachos.iso" + "${workspaceFolder}/build/${input:build_type}/teachos.iso" ], "isBackground": true, "presentation": { @@ -28,7 +28,7 @@ "-m", "32M", "-cdrom", - "${workspaceFolder}/build/Debug/teachos.iso" + "${workspaceFolder}/build/${input:build_type}/teachos.iso" ], "presentation": { "reveal": "always" @@ -36,5 +36,17 @@ "group": "none", "problemMatcher": [] } + ], + "inputs": [ + { + "id": "build_type", + "type": "pickString", + "default": "Debug", + "description": "The build type to boot", + "options": [ + "Debug", + "Release" + ] + } ] }
\ No newline at end of file |