Update devcontainer.json

sei-eschwartz · Apr 29, 2024 · e114312 · e114312
1 parent 0a23832
commit e114312
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -8,7 +8,7 @@
 		// Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
 		"dockerfile": "../Dockerfile",
 		"args": {
-			"CXXFLAGS": "-Og -g --param ggc-min-expand=100 --param ggc-min-heapsize=128000",
+			"CXXFLAGS": "-Og -g --param ggc-min-expand=100 --param ggc-min-heapsize=256000",
 			"NCPU": "2",
 			"RECLAIM": "" // Don't delete the build directories for a devcontainer!
 		}