From 783278e2ddaad8789b2f773dbd350f62ac16c49d Mon Sep 17 00:00:00 2001
From: Andrew Eisenberg <andrew.eisenberg@gmail.com>
Date: Wed, 2 Sep 2020 11:55:44 -0700
Subject: [PATCH] Update devcontainer memory settings

CodeQL CLI needs a minimum of 2G of memory. By default, the memory used
is slightly less than that, leading to poor performance.
---
 .devcontainer/devcontainer.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 4bb12f9..39cbf46 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -3,5 +3,8 @@
     "github.vscode-codeql",
     "slevesque.vscode-zipexplorer"
   ],
-  "postCreateCommand": "git submodule init && git submodule update --recursive"
+  "postCreateCommand": "git submodule init && git submodule update --recursive",
+  "settings": {
+    "codeQL.runningQueries.memory": 2048
+  }
  }