diff options
| author | flip1995 <hello@philkrones.com> | 2020-05-19 15:18:16 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-05-19 15:18:16 +0200 |
| commit | 842dd072612a5a53bef37f242f8f2be8896902cc (patch) | |
| tree | 051597d23bf873182adea7e1f10481f9d8d1b49b | |
| parent | e5b5f6f8a99253560096a5718fc7fc81daa23e02 (diff) | |
| download | rust-842dd072612a5a53bef37f242f8f2be8896902cc.tar.gz rust-842dd072612a5a53bef37f242f8f2be8896902cc.zip | |
Add note that a subtree fix and stack limit increase is required
| -rw-r--r-- | CONTRIBUTING.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 6697ff2f40d..c6a3998ec4e 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -209,6 +209,13 @@ You can then sync with the remote names from above, e.g.: $ git subtree push -P src/tools/clippy clippy-local sync-from-rust ``` +_Note:_ The first time running `git subtree push` a cache has to be built. This +involves going through the complete Clippy history once. For this you have to +increase the stack limit though, which you can do with `ulimit -s 60000`. For +this to work, you will need the fix of `git subtree` available +[here][gitgitgadget-pr]. + +[gitgitgadget-pr]: https://github.com/gitgitgadget/git/pull/493 [subtree]: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#external-dependencies-subtree [`rust-lang/rust`]: https://github.com/rust-lang/rust |