diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-05-06 17:35:10 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-06 17:35:10 -0400 |
commit | 440e10c34d0858e60ff0befa0baa58457e05d534 (patch) | |
tree | ba50ee550b01a81b9b800f0553f551387770062c /docs | |
parent | bb94355cfc10039f075de53d5ceff57b02de92f7 (diff) |
other: disable logging when building with default features (#1133)
* other: disable logging when building with default features
* update docs
Diffstat (limited to 'docs')
-rw-r--r-- | docs/content/contribution/development/build_process.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/content/contribution/development/build_process.md b/docs/content/contribution/development/build_process.md index 09efe5cd..8b8fb234 100644 --- a/docs/content/contribution/development/build_process.md +++ b/docs/content/contribution/development/build_process.md @@ -28,7 +28,7 @@ Binaries are built currently for various targets. Note that not all of these are - Enable cache. - Build a release build with: - - `--features deploy`, which disables unneeded dev features in bottom. + - `--features deploy`, which enables only crates needed for release builds. - `--locked` to lock the dependency versions. - The following env variables set: |