From 6af1e326c4b52f26e151c8b844ceb3da1bb9bca1 Mon Sep 17 00:00:00 2001 From: barter-simsum Date: Mon, 3 Jul 2023 17:10:12 -0400 Subject: [PATCH] update install.md --- INSTALL.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index f9eb54c42e..e30f14f88e 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -60,9 +60,10 @@ bazel build :urbit ``` If you want a debug build, which changes the optimization level from `-O3` to -`-O0` and includes more debugging information, specify the `dbg` configuration: +`-O0` and includes more debugging information, specify `dbg` as the +`compilation_mode`: ```console -bazel build --config=dbg :urbit +bazel build --compilation_mode=dbg :urbit ``` Note that you cannot change the optimization level for third party dependencies--those targets specified in `bazel/third_party`--from the command