Merge pull request OCamlPro#10 from nberth/coverage-not-by-default

Disable handling of code coverage by default
nberth · Jul 26, 2024 · 12fcf1e · 12fcf1e
2 parents a2e56ef + 2fec4e8
commit 12fcf1e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/package.json b/package.json
@@ -98,7 +98,7 @@
 							"coverage": {
 								"type": "boolean",
 								"description": "Enable code coverage",
-								"default": true
+								"default": false
 							},
 							"verbose": {
 								"type": "boolean",
@@ -193,7 +193,7 @@
 							"arguments": "",
 							"cwd": "$${_:{workspaceRoot}}",
 							"group": [],
-							"coverage": true,
+							"coverage": false,
 							"verbose": false,
 							"gdbtty": true
 						}

diff --git a/src/extension.ts b/src/extension.ts
@@ -71,7 +71,7 @@ class GdbConfigurationProvider implements vscode.DebugConfigurationProvider {
             config.env.LD_LIBRARY_PATH = config.libcobpath + ";" + config.env.LD_LIBRARY_PATH;
         }
         if (config.coverage === undefined) {
-            config.coverage = true;
+            config.coverage = false;
         }
         if (config.gdbtty === undefined) {
             config.gdbtty = true;
@@ -92,7 +92,7 @@ class GdbConfigurationProvider implements vscode.DebugConfigurationProvider {
           arguments: "",
           cwd: "${workspaceFolder}",
           group: [],
-          coverage: true,
+          coverage: false,
           verbose: false,
           gdbtty: true
         };