From dd2a466a9e396012aa32dfb59200cba40084a510 Mon Sep 17 00:00:00 2001
From: Nicolas Berthier <nicolas.berthier@ocamlpro.com>
Date: Mon, 8 Apr 2024 13:54:51 +0200
Subject: [PATCH] Fix default config resolver

This aligns the code of
`extension.GdbConfigurationProvider.resolveDebugConfiguration` with
`extension.GdbConfigurationProvider.provideDebugConfigurations`, so
that the debugger can be launched directly in workspaces that lack a
`launch.json`.
---
 src/extension.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/extension.ts b/src/extension.ts
index 047b836..586158a 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -38,6 +38,9 @@ class GdbConfigurationProvider implements vscode.DebugConfigurationProvider {
         if (config.request === undefined) {
             config.request = "launch";
         }
+	if (config.preLaunchTask === undefined) {
+	    config.preLaunchTask = "SuperBOL: build (debug)";
+	}
         if (config.target === undefined) {
             config.target = "${file}";
         }