You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
gh-39128: Add note about makeflags and ninja parallelism
`MAKEFLAGS` is an alternative to `MAKE`.
The note about `ninja` can stay there until
#38950 is fixed to warn the user
e.g. to not run too many other things in parallel. It would be rather
surprising if you pass `make -j3` there and have 7 processes running in
parallel (which might eat up a lot of RAM and possibly have the OOM
killer kill other processes along the way).
### 📝 Checklist
<!-- Put an `x` in all the boxes that apply. -->
- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have updated the documentation and checked the documentation
preview.
### ⌛ Dependencies
<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - #12345: short description why this is a dependency -->
<!-- - #34567: ... -->
URL: #39128
Reported by: user202729
Reviewer(s): Julian Rüth, user202729
0 commit comments