.devcontainer/devcontainer.json: Use make build V=0

sagemath · May 14, 2022 · bea9a69 · bea9a69
1 parent d08ff6f
commit bea9a69
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -13,5 +13,5 @@
 	// Run commands after the container is created:
 	"postCreateCommand": "export PATH=$(pwd)/build/bin:$PATH && SYSTEM=$(sage-guess-package-system) && eval $(sage-print-system-package-command $SYSTEM install --yes $(sage-get-system-packages $SYSTEM _develop))",
 	// Run commands after the container is started.
-	"postStartCommand": "./bootstrap && ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv && make build"
+	"postStartCommand": "./bootstrap && ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv && make build V=0"
 }