From b9ff63ee60c1316573190eaf757a12b8d1b83f9c Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Wed, 11 Oct 2023 21:30:54 +0200
Subject: ide: allow selection of boot image

---
 .vscode/tasks.json | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

(limited to '.vscode')

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
-- 
cgit v1.2.3