Add bootstrap

sagemath · May 14, 2022 · 11110ae · 11110ae
1 parent 85a7100
commit 11110ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
 }