Skip to content

Commit 842dd07

Browse files
committed
Add note that a subtree fix and stack limit increase is required
1 parent e5b5f6f commit 842dd07

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

CONTRIBUTING.md

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -209,6 +209,13 @@ You can then sync with the remote names from above, e.g.:
209209
$ git subtree push -P src/tools/clippy clippy-local sync-from-rust
210210
```
211211
212+
_Note:_ The first time running `git subtree push` a cache has to be built. This
213+
involves going through the complete Clippy history once. For this you have to
214+
increase the stack limit though, which you can do with `ulimit -s 60000`. For
215+
this to work, you will need the fix of `git subtree` available
216+
[here][gitgitgadget-pr].
217+
218+
[gitgitgadget-pr]: https://github.com/gitgitgadget/git/pull/493
212219
[subtree]: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#external-dependencies-subtree
213220
[`rust-lang/rust`]: https://github.com/rust-lang/rust
214221

0 commit comments

Comments
 (0)