Disable auto insert headers (#216)

UBCSailbot · Dec 3, 2023 · 15002ec · 15002ec
1 parent 768bd41
commit 15002ec
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sailbot.code-workspace b/sailbot.code-workspace
@@ -203,7 +203,8 @@
             "-log=verbose",
             "-pretty",
             "--background-index",
-            "--compile-commands-dir=/workspaces/sailbot_workspace/build/"
+            "--compile-commands-dir=/workspaces/sailbot_workspace/build/",
+            "--header-insertion=never"
         ],
 
         "[cpp]": {