diff options
author | Alexander Neben <alexander.neben@mongodb.com> | 2022-05-13 01:10:38 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-05-13 01:38:01 +0000 |
commit | 90a033ffa15e8a1c2ca9018534f873fe0cfc0f0c (patch) | |
tree | f8007bdb6455687a8df1534b45080d0a5b3ee776 /docs | |
parent | 0592f87648a1fc2fdf4a51c96eb01d84330aad5b (diff) | |
download | mongo-90a033ffa15e8a1c2ca9018534f873fe0cfc0f0c.tar.gz |
SERVER-64352 mongo shell no longer built by default
Diffstat (limited to 'docs')
-rw-r--r-- | docs/building.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/building.md b/docs/building.md index bdc75c73d5d..4ac6b75fcb3 100644 --- a/docs/building.md +++ b/docs/building.md @@ -100,9 +100,9 @@ only certain components: * `install-mongod` * `install-mongos` -* `install-mongo` or `install-shell` * `install-servers` (includes `mongod` and `mongos`) -* `install-core` (includes `mongod`, `mongos`, `mongo`) +* `install-core` (includes `mongod` and `mongos`) +* `install-devcore` (includes `mongod`, `mongos`, and `jstestshell` (formerly mongo shell)) * `install-all` |