Make the preLaunchTask optional in launch configuration

OCamlPro · Jul 26, 2024 · 07ab8b4 · 07ab8b4
1 parent 3e61d84
commit 07ab8b4
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/src/extension.ts b/src/extension.ts
@@ -38,9 +38,12 @@ class GdbConfigurationProvider implements vscode.DebugConfigurationProvider {
         if (config.request === undefined) {
             config.request = "launch";
         }
-	if (config.preLaunchTask === undefined) {
-	    config.preLaunchTask = "SuperBOL: build (debug)";
-	}
+        if (config.preLaunchTask === undefined) {
+            config.preLaunchTask = "SuperBOL: build (debug)";
+        } else if (config.preLaunchTask === "none" ||
+                   config.preLaunchTask === "") {
+            delete config.preLaunchTask;
+        }
         if (config.target === undefined) {
             config.target = "${file}";
         }