From 11110ae08511896111a907537e3acf755c0132ee Mon Sep 17 00:00:00 2001 From: Tobias Diez Date: Sat, 14 May 2022 12:06:26 +0000 Subject: [PATCH] Add bootstrap --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 58a523bac20..af6c5a23510 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -7,5 +7,5 @@ "args": { "VARIANT": "jammy" } }, // Run commands after the container is started. - "postStartCommand": "configure && make build" + "postStartCommand": "./bootstrap && ./configure && make build" }