diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index a2fb44d..df92e03 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -10,8 +10,7 @@ // Use 'forwardPorts' to make a list of ports inside the container available locally. // "forwardPorts": [], - // Use 'postCreateCommand' to run commands after the container is created. - // "postCreateCommand": "gcc -v", + "postCreateCommand": "git submodule update --init --recursive" // Configure tool-specific properties. // "customizations": {},