diff options
Diffstat (limited to '.vscode/tasks.json')
| -rw-r--r-- | .vscode/tasks.json | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.vscode/tasks.json b/.vscode/tasks.json index 74cbc54..29529a3 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json @@ -11,7 +11,7 @@ "-m", "32M", "-cdrom", - "${workspaceFolder}/build/${input:build_type}/teachos.iso" + "${workspaceFolder}/build/teachos-${input:build_type}.iso" ], "isBackground": true, "presentation": { @@ -28,7 +28,7 @@ "-m", "32M", "-cdrom", - "${workspaceFolder}/build/${input:build_type}/teachos.iso" + "${workspaceFolder}/build/teachos-${input:build_type}.iso" ], "presentation": { "reveal": "always" @@ -45,7 +45,8 @@ "description": "The build type to boot", "options": [ "Debug", - "Release" + "Release", + "RelWithDebInfo" ] } ] |