diff options
-rw-r--r-- | deps/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deps/README.md b/deps/README.md index 65b759899..591bb2cd5 100644 --- a/deps/README.md +++ b/deps/README.md @@ -43,7 +43,7 @@ the following additional steps: #### Updating/upgrading jemalloc -The jemalloc directory is pulled as a subtee from the upstream jemalloc github repo. To update it you should run from the project root: +The jemalloc directory is pulled as a subtree from the upstream jemalloc github repo. To update it you should run from the project root: 1. `git subtree pull --prefix deps/jemalloc https://github.com/jemalloc/jemalloc.git <version-tag> --squash`<br> This should hopefully merge the local changes into the new version. |